Accepted Papers for DL2001

Title: OilEd: a Reason-able Ontology Editor for the Semantic Web
Authors: Sean Bechhofer, Ian Horrocks, Carole Goble, and Robert Stevens

Title: Unification in a Description Logic with Transitive Closure of Roles
Authors: Franz Baader and Ralf Kuesters

Title: Description Logics and the Two-Variable Fragment.
Authors: Carsten Lutz, Ulrike Sattler, and Frank Wolter

Title: A Note on Concepts and Distances
Authors: O. Kutz, F. Wolter, M. Zakharyaschev

Title: The DLRUS Temporal Description Logic
Authors: Alessandro Artale, Enrico Franconi, Milenko Mosurovic,
Frank Wolter, and Michale Zakharyaschev

Title: Obstacles on the Way to Qualitative Spatial Reasoning with
Description Logics: Some Undeciability Results
Authors: Michael Wessel

Title: TBoxes do not yield a compact representation of the least common subsumer
Authors: F. Baader and A.-Y. Turhan

Title: Querying expressive DLs
Author: Sergio Tessaris

Title: On the potential for Hybrid Approaches in Subsumption
Author: Jens Happe

Title: On Expressive Number Restrictions in Description Logics
Author: Fabio Grandi

Title: Towards an Implementation of the Temporal Description Logic TLALC
Authors: Christian Guensel and Marco Wittmann

Title: Optimizing Reasoning in Description Logics with Qualified
Number Restrictions: Extended Abstract
Authors: Volker Haarslev, Ralf Moeller

Title: Combining Tableaux and Algebraic Decision Procedures
for Efficiently dealing with Qualified Number Restrictions
Authors: Volker Haarslev and Ralf Moeller

Title: On Attributes, Roles, and Dependencies in Description Logics and the
Ackermann Case of the Decision Problem
Authors: David Toman and Grant Weddell

Title: Preserving modularity in XML encoding of description logics
Author: Je'ro^me Euzenat

Title: Description of the RACER System and its Applications
Author: Ralf Moeller

Title: The Generation of DAML+OIL
Authors: Ian Horrocks and Peter F. Patel-Schneider

Title: Using lazy unfolding for the computation of the least common subsumers
Authors: Anni-Yasmin Turhan and Ralf Molitor

Title: Ontology of Integration and integration of ontologies
Authors: Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Title: Diachronic Description Logics
Author: Alex Borgida

Title: Description Logics Emerge from Ivory Towers
Author: Deborah McGuinness