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.
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. | 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 mcr@lri.lri.fr |
Ron Brachman AT&T Labs Research 600 Mountain Ave, Murray Hill, NJ 07974-0636, USA rjb@research.att.com |
|
Francesco Donini Dipartimento di Informatica e Sistemistica Università di Roma "La Sapienza" Via Salaria 113, I-00198 Roma, Italy donini@dis.uniroma1.it |
Enrico
Franconi Knowledge Representation and Reasoning group Istituto per la Ricerca Scientifica e Tecnologica (IRST) I-38050 Povo TN, Italy franconi@irst.itc.it |
|
Ian Horrocks Department of Computer Science University of Manchester Oxford Road, Manchester, M13 9PL, UK horrocks@cs.man.ac.uk |
Alon Levy AT&T Labs Research 600 Mountain Ave, Murray Hill, NJ 07974-0636 USA levy@research.att.com |
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/.
EXAMPLE WORKING GROUPS
The following are example topics of working groups already proposed:
Advertising (click for more info):
|