KI-2001 Workshop on Applications of Description Logics

Vienna, Austria

September 18, 2001

NEW: The workshop program is now available. Electronic versions of the papers can be downloaded from CEUR.

Scope of the Workshop

Recently, a growing interest in description logics and their applications can be observed. This is mainly due to the development of very expressive description logics and optimized description logic systems which support terminological and/or assertional reasoning for these logics. This workshop intends to gather researchers as well as practitioners who are interested in description logics and their applications. The primary focus of this workshop will be on applications of description logics. Topics of special interest include: The workshop notes will be made available in printed form and have also appeared as Volume 44 of CEUR proceedings.

Important Dates

Paper submission deadline: July 15, 2001
Notification of acceptance: July 31, 2001
Final versions due: August 24, 2001
Electronic publication of workshop notes End of August, 2001
Workshop: September 18, 2001

Invited Speakers

Ian Horrocks, University of Manchester, will give a tutorial-style talk about latest developments in description logic research..


Workshop participants have to register for the KI-2001 conference.


We can offer a limited number of scholarships to Phd students who want to attend the workshop. The scholarship will cover the KI-2001 registration fee. Please apply by sending a mail to

Workshop Program

Speakers have 20 minutes for their presentation plus 5 minutes for discussion.

9.00 - 10.00 Ian Horrocks Invited Talk
10.00 - 10.15 Coffee Break
10.15 Javier González-Castillo, David Trastour, Claudio Bartolini Description Logics for Matchmaking of Services
10.40 Daniela Berardi, Diego Calvanese, Guiseppe De Giacomo Reasoning on UML Class Diagrams using Description Logic Based Systems
11.05 Heiner Stuckenschmidt, Jérôme Euzenat Ontology Language Integration: A Constructive Approach
11.30 - 11.45 Coffee Break
11.45 Sebastian Brandt, Anni-Yasmin Turhan Non-standard Inferences in Description Logics - what does it buy me?
12.10 Stefan Schlobach Interpolation based Assertion Mining
12.35 François de Bertrand de Beuvron, Martina Kullmann, François Rousselot An Optimized Tableau Structure for Explicit Representation of Disjunction
13.00 - 15.00 Lunch
15.00 Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli A Knowledge-Based System for Person-to-Person E-Commerce
15.25 Stephan Grill Modeling X.509 Certificate Policies Using Description Logics
15.50 Bo Hu, Ernesto Compatangelo, Ines Arana A hybrid approach to extend DL-based reasoning with concrete domains
16.15 - 16.30 Coffee Break
16.30 Malte Gabsdil, Alexander Koller, Kristina Striegnitz Building a Text Adventure on Description Logic
16.55 Michael Knorr, Bernd Ludwig, Günther Görz Some Requirements for Practical Modeling in Dialogue Systems
17.20 Kerstin Buecher, Yves Forkl, Günther Görz, Martin Klarner, Bernd Ludwig Discourse and Application Modeling for Dialogue Systems
17.45 Discussion

In the evening, a social dinner will be arranged to promote informal discussions (the dinner is not included in the registration fee).

Organizing and Program Committee

Günther Görz, Computer Science Institute, University of Erlangen-Nuernberg

Volker Haarslev, Computer Science Department, University of Hamburg,

Carsten Lutz, LuFG Theoretical Computer Science, RWTH Aachen,

Ralf Moeller, Computer Science Department, University of Hamburg,

This page maintained by Carsten Lutz,
Comments and suggestions are welcome.