| 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-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