1999 International Workshop on Description Logics - DL'99

Linköping, Sweden

July 30 - August 1, 1999

Call for Papers

[Text version]

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 dl99@dl.kr.org 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'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: This year we also particularly encourage the presentation of systems that can deal with axioms.

For full details, including deadlines for participation, check the DL'99 systems comparison home page.


Paper Submission

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

DL Systems Comparison

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


Patrick Lambrix
Department of Computer and Information Science
Linköpings universitet
Linköping, Sweden.
Alex Borgida
Department of Computer Science
Rutgers University
New Brunswick, NJ, USA.
Maurizio Lenzerini
Dipartimento di Informatica e Sistemistica
Universita' degli Studi di Roma "La Sapienza"
Roma, Italy.
Ralf Möller
Computer Science Department
University of Hamburg
Hamburg, Germany.
Peter Patel-Schneider
Bell Labs Research,
Murray Hill, NJ, USA.