The 1999 International Workshop on Description Logics (DL'99) continues the tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms based on Description Logics.
We call for two types of contributions: paper submissions and DL systems for comparison. Independently from the DL systems comparison effort, demonstrations of systems and DL-based applications will be possible and people interested are encouraged to get in touch with the organizers.
DL'99 will precede IJCAI'99 (International Joint Conference on Artificial Intelligence) which will be held in Stockholm, Sweden, August 3-6, 1999. DL'99 will have a joint session with KRDB'99 (6th International Workshop on Knowledge Representation Meets Databases) which will be held in Linköping, Sweden, July 29-30.
Subjects to be addressed include the following:
|Foundations of Description Logics, including distinguishing features of Description Logics with respect to other formalisms, expressive power of Description Logics, decidability and complexity results of reasoning, novel inferences and reasoning techniques for novel inferences.||Extensions of Description Logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query languages, query rewriting, knowledge base reformulation and restructuring.|
|Integration of Description Logics with other formalisms, such as object-oriented languages, constraint-based programming, logic programming, rule-based systems, etc.|
|Use of Description Logics in applications or areas such as natural language, planning, learning, databases, software engineering, information management systems, document management systems, semi-structured data, ontology design, etc, with special emphasis on justifying the choice of DL compared to other formalisms.||Building systems based on Description Logics with special emphasis on optimization, storage and implementation techniques.|
Interested parties should prepare an extended abstract on some aspect
of their current work in Description Logics (no more than 5 LaTeX
12-point article-style pages), or a short position paper indicating
interest in Description Logics and the workshop.
Please prepare a version of your submission (preferably as a self-contained LaTeX 12-point article style file) and send it to email@example.com by e-mail, to arrive by March 19, 1999.
We will determine participation in the workshop by April 24, 1999 on the basis of the submitted papers. Some authors will be asked to prepare a longer version of their paper for inclusion in the proceedings.
Revised versions of accepted proceedings papers should be sent by May 29, 1999. The workshop proceedings will be published electronically at CEUR Workshop proceedings. A hard copy version is planned as well.
DL SYSTEMS COMPARISON
DL'99 will host a DL systems comparison session. Systems will be
compared on the basis of benchmarks which will be prepared in order to
emphasize the best out of each system.
We have four aims:
|Paper submission deadline:||March 19, 1999|
|Notification of acceptance:||April 24, 1999|
|Camera ready papers due:||May 29, 1999|
|DL'99 Workshop:||July 30 - August 1, 1999|
|Intention of participation:||March 19, 1999|
|Disclosure of the official comparison benchmarks:||tba|
|Deadline for the submission of the results:||April 24, 1999|
|Summaries of the results available:||May 29, 1999|
|Meeting at DL'99:||July 30 - August 1, 1999|
Department of Computer and Information Science
Department of Computer Science
New Brunswick, NJ, USA.
Dipartimento di Informatica e Sistemistica
Universita' degli Studi di Roma "La Sapienza"
Computer Science Department
University of Hamburg
Peter Patel-Schneider |
Bell Labs Research,
Murray Hill, NJ, USA.