1998 International Workshop on Description Logics

Trento, Italy
Saturday June 6 - Monday June 8, 1998

(coordinated event with KR'98 -- Sixth International Conference on
Principles of Knowledge Representation and Reasoning)


Call for Papers

[Text version] [Postscript leaflet]

The 1998 International Workshop on Description Logics (DL'98) 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. Indipendently 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'98 will immediately follow KR'98 (Sixth International Conference on Principles of Knowledge Representation and Reasoning) which will be held in Trento, Italy, June 2-5, 1998.
Advertising (click for more info):
CLICK HERE for info on KR'98
DL'98 will not clash with SIGMOD/PODS'98, which will be held in Seattle WA, USA, June 1-4, 1998: people willing attend both SIGMOD/PODS'98 and DL'98 will have one day and a half for traveling from USA to Italy.


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. Extensions of Description Logics, including, but not limited to, closed world reasoning, def>

Transfer interrupted!

and spatial reasoning, procedural knowledge.
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, 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 dl98@dl.kr.org by e-mail, to arrive by Friday March 6, 1998.
We will determine participation in the workshop by Monday April 20, 1998 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 Friday May 8, 1998. The revised position papers will be electronically distributed to participants. The proceedings consisting of revised versions of the position papers will be produced and distributed after the workshop, and made available to other researchers.


DL'98 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. This first round of the comparison at DL'98 will serve mostly as an evaluation of the benchmark testing set, and it is not intended to be the last word on a possible ranking.
We have four aims: For full details, including deadlines for participation, check the DL'98 systems comparison home page at http://dl.kr.org/dl/dl98/comparison/.


Paper Submission

Paper submission deadline: March 6, 1998
Notification of acceptance: April 20, 1998
Camera ready papers due: May 8, 1998
DL'98 Workshop: Saturday June 6 - Monday June 8, 1998

DL Systems Comparison

Preliminary disclosure of the basic benchmarks: February 16, 1998
Identification of the DL systems willing to partecipate: March 6, 1998
Optional submission of partecipants' benchmarks: March 6, 1998
Disclosure of the official comparison benchmarks: March 23, 1998
Deadline for the submission of the results: April 17, 1998
Summaries of the results available: May 18, 1998
Meeting at DL'98: June 6 - 8, 1998


Enrico Franconi (chair)
Knowledge Representation and Reasoning group
Istituto per la Ricerca Scientifica e Tecnologica (IRST)
I-38050 Povo TN, Italy
Giuseppe De Giacomo
Dipartimento di Informatica e Sistemistica
Università di Roma La Sapienza
Via Salaria 113, I-00198 Roma, Italy
Robert M. MacGregor
University of Southern California
Information Sciences Institute (USC/ISI)
4676 Admiralty Way, Marina del Rey, CA 90292, USA
Werner Nutt
German Research Center for AI (DFKI)
currently visiting:
Institute of Computer Science
Ross Building, Givat Ram Campu
The Hebrew University of Jerusalem
Jerusalem 91904, Israel
Christopher A. Welty
Vassar College Computer Science Dept.
Poughkeepsie, NY 12604-0462, USA
Fabrizio Sebastiani
Istituto di Elaborazione dell'Informazione (IEI)
Consiglio Nazionale delle Ricerche (CNR)
Via S. Maria, 46, I-56126 Pisa, Italy

DL systems comparison Committee:

Peter F. Patel-Schneider
Bell Labs Research
600 Mountain Ave, 2A-409
Murray Hill, NJ 07974; USA
Ian Horrocks
(currently visiting IRST)
Department of Computer Science
University of Manchester
Oxford Road, Manchester, M13 9PL, UK

Wine Committee:

Paolo Bresciani (chair)
(sommelier **)
Knowledge Representation and Reasoning group
Istituto per la Ricerca Scientifica e Tecnologica (IRST)
I-38050 Povo TN, Italy
Deborah L. McGuinness
AT&T Labs Research
180 Park Ave. Bldg 103, Room A215
Florham Park, NJ 07932-0971, USA


This page maintained by Enrico Franconi <franconi@irst.itc.it>.
Comments and suggestions are welcome.
Last modified: Fri Jan 23 14:09:24 MET 1998