| Vol-44 © 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.

# ADL-2001
2001 Workshop on Applications of Description Logics

### Proceedings of the KI-2001 Workshop on Applications of Description Logics
Vienna, September 18, 2001.

Edited by

### Günther Görz, University of Erlangen-Nuernberg, Germany
Volker Haarslev, University of Hamburg, Germany
Carsten Lutz, RWTH Aachen, Germany
Ralf Möller, University of Hamburg, Germany

## Table of Contents

1. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
   Reasoning on UML Class Diagrams using Description Logic Based Systems
2. Sebastian Brandt and Anni-Yasmin Turhan
   Using Non-standard Inferences in Description Logics -- what does it buy me?
3. Kerstin Bücher, Yves Forkl, Günther Görz, Martin Klarner, Bernd Ludwig
   Discourse and Application Modeling for Dialogue Systems
4. François de Betrand de Beuvron, Martina Kullmann, François Rousselot
   An Optimized Tableau Structure for Explicit Representation of Disjunction
5. Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
   A Knowledge-Based System for Person-to-Person E-Commerce
6. Malte Gabsdil, Alexander Koller, Kristina Striegnitz
   Building a Text Adventure on Description Logic
7. Javier González-Castillo, David Trastour, Claudio Bartolini
   Description Logics for Matchmaking of Services
8. Stephan Grill
   Modeling X.509 Certificate Policies Using Description Logics
9. Bo Hu, Ernesto Compatangelo, Ines Arana
   A hybrid approach to extend DL-based reasoning with concrete domains
10. Michael Knorr, Bernd Ludwig, Günther Görz
    Some Requirements for Practical Modeling in Dialogue Systems
11. Stefan Schlobach
    Interpolation based Assertion Mining
12. Heiner Stuckenschmidt, Jérôme Euzenat
    Ontology Language Integration: A Constructive Approach

submitted by Carsten Lutz, August 30, 2001