[CEUR Workshop Proceedings] 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