Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider (Eds.):
Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001.
CEUR Workshop Proceedings 49 CEUR-WS.org 2001 
- 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.
Last update Thu May 24 04:16:27 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
