1999 International Workshop on Description Logics - DL'99

Linköping, Sweden

July 30 - August 1, 1999

Call for Papers

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.

SCOPE

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.

PAPER SUBMISSION

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 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:

To reach a consensus on a corpus of benchmarks for DL systems, which may become an agreed standard.
Bringing people together with a common interest in implementation work on various DLs.
Giving the implementors of reasoners for the considered logics the opportunity to demonstrate their systems and to make them better known.
To compare different reasoning methods for DL.

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.

IMPORTANT DATES

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

ORGANIZING COMMITTEE

Patrick Lambrix Department of Computer and Information Science Linköpings universitet Linköping, Sweden. `[patla@ida.liu.se]`
Alex Borgida Department of Computer Science Rutgers University New Brunswick, NJ, USA. `[borgida@cs.rutgers.edu]`	Maurizio Lenzerini Dipartimento di Informatica e Sistemistica Universita' degli Studi di Roma "La Sapienza" Roma, Italy. `[lenzerini@dis.uniroma1.it]`
Ralf Möller Computer Science Department University of Hamburg Hamburg, Germany. `[moeller@informatik.uni-hamburg.de]`	Peter Patel-Schneider Bell Labs Research, Murray Hill, NJ, USA. `[pfps@research.bell-labs.com]`

RESOURCES

Enquiries about the DL'99 workshop can be made by mailing to dl99@dl.kr.org.
Information regarding costs, travel information, hotels, etc. will be distributed later. Check the WWW page of the workshop at http://dl.kr.org/dl/dl99/ for updates.
The official Description Logics WWW home page is at http://dl.kr.org/dl/.
The Call for papers:
- the ASCII text Call for Papers of the workshop.