2001 International Workshop on Description Logics (DL2001)

Stanford University, California, USA

Wednesday 1 August - Friday 3 August, 2001

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). The workshop proceedings will be distributed in paper form at the workshop, and will be made available electronically in the CEUR Workshop Proceedings series.

Important Dates

Paper submission deadline:	16 April 2001
Notification of acceptance:	21 May 2001
Camera ready papers due:	18 June 2001
DL2001 Workshop:	1 August - 3 August, 2001

Scope

The focus of DL2001 will be on

Applying Description Logics to the Semantic Web

including description logic formalisms for ontologies, description logic systems for reasoning with information in or about the web, and other relationships between description logics and the WWW.
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.

Submission Guidelines

If you want to submit a paper to DL2001, 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

Both kinds of submission should be formatted the same as for DL2000, 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 electronic mail as standard postscript attachments to

dl2001@ksl.stanford.edu

and must arrive before April 16, 2001 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 workshop organizers at dl2001@ksl.stanford.edu.