1997 International Workshop on Description Logics (DL'97)

September 27 - 29, 1997
Gif sur Yvette (Paris), France

[DL] Preliminary Call for Papers

The 1997 International Workshop on Description Logics (DL'97) continues the tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms based on Description Logics.
In addition to the traditional panels and paper presentations, the first day of the workshop will be dedicated working group discussions of small groups of participants. A working group will spend the day discussing a specific set of problems identified ahead of time.
Demonstrations of systems will be possible and people interested are encouraged to get in touch with the organizers.

We call for two types of contributions: proposals for working groups and paper submissions.


A working group proposal should contain a short description of the problem being addressed by the group. In particular, it should identify the possible accomplishments the group can obtain. The objective should be one that can be reasonably met in a one-day meeting. The proposal should name a group leader (or co-leaders),who will be responsible for setting the agenda, and participants who may possibly be interested in the group. We encourage group leaders to contact at least a few of participants before submitting the proposal. Three brief examples of working-group topics are given in the end of the call for paper.
The deadline for proposals of working groups is March 30.
The acceptance of working groups will be notified by April 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. Extensions of Description Logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal 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 a short paper on some aspect of their current work in Description Logics for inclusion in the proceedings (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 dl97@dl.kr.org by e-mail, to arrive by May 30th 1997.
We will determine participation in the workshop by June 30th 1997 based on the proceedings papers, position papers, and contributions to working groups.
Revised versions of accepted proceedings papers should be sent by September 1st 1997 . 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.


Working group proposal deadline: March 30, 1997
Notification of acceptance for working groups: April 30, 1997
Paper submission deadline: May 31, 1997
Notification of acceptance: June 30, 1997
Camera ready papers due: September 1, 1997
Workshop: September 27-29, 1997


Marie-Christine Rousset (Chair)
LRI, CNRS & University of Paris-Sud
Building 490, 91405 Orsay Cedex, France
Ron Brachman
AT&T Labs Research
600 Mountain Ave, Murray Hill, NJ 07974-0636, USA
Francesco Donini
Dipartimento di Informatica e Sistemistica
UniversitÓ di Roma "La Sapienza"
Via Salaria 113, I-00198 Roma, Italy
Enrico Franconi
Knowledge Representation and Reasoning group
Istituto per la Ricerca Scientifica e Tecnologica (IRST)
I-38050 Povo TN, Italy
Ian Horrocks
Department of Computer Science
University of Manchester
Oxford Road, Manchester, M13 9PL, UK
Alon Levy
AT&T Labs Research
600 Mountain Ave, Murray Hill, NJ 07974-0636 USA


Enquiries about the workshop can be made by mailing to dl97@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/dl97/ for updates.

The postscript leaflet of the workshop;
the ASCII text Call for Papers of the workshop.

The official Description Logics WWW home page is at http://dl.kr.org/dl/.


The following are example topics of working groups already proposed:

Advertising (click for more info):
CLICK HERE for info on KR'98

This page maintained by Enrico Franconi <franconi@irst.itc.it>.
Comments and suggestions are welcome.
Last modified: Fri Mar 14 12:33:11 MET 1997