![[DL]](dl-small.gif)
RWTH Aachen, Germany
August 17 - August 19, 2000
ASCII Version of the Call for Papers.
Call for Papers
We invite submissions of technical papers of 8 pages and short position papers
(for people that want to participate in the workshop without giving talks).
Authors of accepted technical and position papers will be invited to participate
in the workshop (participation will be by invitation only). Accepted technical
papers will be included in the proceedings as normal papers (8 pages) or long
papers (12 pages).
Scope
The focus of DL2000 will be on
Applying DL techniques to real world problems.
Possible examples of such real world problems are ones related to the WWW, to
software engineering, to building ontologies, and to information systems in
medicine and bio-informatics. We will have three invited speakers, each addressing
one of these areas.
In addition to papers related to this focus topic, we invite contributions on
all other aspects of Description Logics. Possible subjects include
- Foundations of Description Logics, including distinguishing features of
Description Logics with respect to other formalisms, expressive power of
Description Logics, decidability and complexity of reasoning, and novel
inference problems and reasoning techniques for solving these problems.
- Extensions of Description Logics, including, but not limited to, closed world
reasoning, defaults, epistemic reasoning, temporal and spatial reasoning,
procedural knowledge, and query languages.
- Integration of Description Logics with other formalisms, such as
object-oriented languages, constraint-based programming, logic programming,
and rule-based systems.
- Use of Description Logics in applications or areas such as natural language,
planning, learning, databases, document management systems, semi-structured
data, and ontology design, with special emphasis on the pros and cons of
choosing Description Logics.
- Building systems based on Description Logics, with special emphasis on
optimization and implementation techniques.
Important Dates
|
Paper submission deadline: | May 1, 2000 |
|
Notification of acceptance: | June 9, 2000 |
|
Camera ready papers due: | June 30, 2000 |
|
DL2000 Workshop: | August 17 - August 19,
2000 |
|
Submission Guidelines
If you want to submit a paper to DL2000, you are invited to send
- a short position paper indicating interest in Description
Logics and the workshop or
- a technical paper not exceeding 8 pages that is formatted following this
example LaTeX file. You can also
view a compiled version of this
example file which contains some more explanations concerning the
requested style.
Submissions should be sent by EMail as standard postscript attachments to
dl2000chairs@informatik.rwth-aachen.de
and must arrive before May 1, 2000. If you have any difficulties with
the requested document format (e.g., because you do not use LaTeX or cannot
generate postscript files), do not hesitate to contact the DL organizers, at
dl2000@informatik.rwth-aachen.de.
This page maintained by
Carsten Lutz,
lutz@cs.rwth-aachen.de.
Comments and suggestions are welcome.