September 27 - 29, 1997
Gif sur Yvette (Paris), France
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.
CALL FOR PROPOSAL OF WORKING GROUPS
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 firstname.lastname@example.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|
LRI, CNRS & University of Paris-Sud
Building 490, 91405 Orsay Cedex, France
AT&T Labs Research
600 Mountain Ave, Murray Hill, NJ 07974-0636, USA
Dipartimento di Informatica e Sistemistica
UniversitÓ di Roma "La Sapienza"
Via Salaria 113, I-00198 Roma, Italy
Knowledge Representation and Reasoning group
Istituto per la Ricerca Scientifica e Tecnologica (IRST)
I-38050 Povo TN, Italy
Department of Computer Science
University of Manchester
Oxford Road, Manchester, M13 9PL, UK
AT&T Labs Research
600 Mountain Ave, Murray Hill, NJ 07974-0636 USA
Enquiries about the workshop can be made by mailing to email@example.com.
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.
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/.
EXAMPLE WORKING GROUPS
The following are example topics of working groups already proposed:
Advertising (click for more info): |