2002 International Workshop on Description Logics - DL2002
April 19-21, 2002
Accepted technical papers will be included in the proceedings as normal
papers (8 pages) or long papers (12 pages). The workshop proceedings will
be distributed in paper form at the workshop, and will be made available
electronically in the CEUR Workshop Proceedings series.
Both kinds of submission should be formatted the same as for DL2000, following this example LaTeX file. You can also view a compiled version of this example file which contains some more explanations concerning the requested style.
Please avoid headers,footers, and page numbering.
Submissions should be sent by electronic mail as standard postscript or PDF attachments to
and must arrive before January 21, 2002 If you have any difficulties with the requested document format (e.g., because you do not use LaTeX or cannot generate postscript files), do not hesitate to contact the workshop organizers at firstname.lastname@example.org.
Please include in the email (in plain text) the title, author(s), contact name/email, and a short abstract of the paper, e.g.:
|Title:||Answering Conjunctive Queries Over DL Aboxes: a Preliminary Report|
|Author:||Ian Horrocks and Sergio Tessaris|
|Contact:||Ian Horrocks <email@example.com>|
|Abstract:||A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that can be used to provide an expressive query language for such systems. One of the main advantages of this approach is that, being based on a reduction to knowledge base satisfiability, it can easily be adapted to most existing (and future) Description Logic implementations. We believe that providing Description Logic systems with an expressive query language for interrogating the knowledge base will significantly increase their utility.|