Description Logics 2001: Stanford, CA, USA

@proceedings{DBLP:conf/dlog/2001,
  editor    = {Carole A. Goble and
               Deborah L. McGuinness and
               Ralf M{\"o}ller and
               Peter F. Patel-Schneider},
  title     = {Working Notes of the 2001 International Description Logics Workshop
               (DL-2001), Stanford, CA, USA, August 1-3, 2001},
  booktitle = {Description Logics},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {49},
  year      = {2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens:
  OilEd: a Reason-able Ontology Editor for the Semantic Web.
  
• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
  Ontology of Integration and Integration of Ontologies.
  
• Jérôme Euzenat:
  Preserving Modularity in XML Encoding of Description Logics.
  
• Ian Horrocks, Peter F. Patel-Schneider:
  The Generation of DAML+OIL.
  
• Franz Baader, Ralf Küsters:
  Unification in a Description Logic with Transitive Closure of Roles.
  
• Franz Baader, Anni-Yasmin Turhan:
  TBoxes do not Yield a Compact Representation of Least Common Subsumers.
  
• Fabio Grandi:
  On Expressive Number Restrictions in Description Logics.
  
• Carsten Lutz, Ulrike Sattler, Frank Wolter:
  Description Logics and the Two-Variable Fragment.
  
• David Toman, Grant E. Weddell:
  On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.
  
• Anni-Yasmin Turhan, Ralf Molitor:
  Using Lazy Unfolding for the Computation of Least Common Subsumers.
  
• Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev:
  The DLRUS Temporal Description Logic.
  
• Alexander Borgida:
  Diachronic Description Logics.
  
• Oliver Kutz, Frank Wolter, Michael Zakharyaschev:
  A Note on Concepts and Distances.
  
• Michael Wessel:
  Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results.
  
• Volker Haarslev, Ralf Möller:
  Description of the RACER System and its Applications.
  
• Volker Haarslev, Ralf Möller:
  Optimizing Reasoning in Description Logics with Qualified Number Restrictions.
  
• Volker Haarslev, Martina Timmann, Ralf Möller:
  Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.
  
• Christian Günsel, Marco Wittmann:
  Towards an Implementation of the Temporal Description Logic TLALC.
  
• Sergio Tessaris:
  Querying expressive DLs.
  
• Deborah L. McGuinness:
  Description Logics Emerge from Ivory Towers.