[CEUR Workshop Proceedings] Vol-49

© 2001 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.





DL HOME DL-2001
2001 International Description Logics Workshop




Working Notes of the
2001 International Description Logics Workshop (DL-2001)
Stanford, USA, August 1-3

Edited by

Carole Goble *
Deborah L. McGuinness #
Ralf Möller +
Peter F. Patel-Schneider @

* Department of Computer Science
University of Manchester
Manchester, UK

# Knowledge Systems Laboratory
Stanford University
Stanford, CA, USA

+ Computer Science Department
University of Hamburg
Hamburg, Germany

@ Bell Labs Research
Murray Hill, NJ, U.S.A.




Table of Contents

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

Submitted by Peter F. Patel-Schneider, 4 September 2001