We invite submissions of papers that comply with the following
- formatted in Springer LNCS style, submitted as a PDF file
- at most 11 pages long, including title and abstract (if
any), and list of references
- arrive no later than February 15, 2008,
see the important dates page
Submission is via
EasyChair, please log in via
The workshop proceedings will be made available electronically in the
CEUR Workshop Proceedings series.
We invite contributions on all aspects of description logics.
Possible subjects include:
- Foundations of description logics, including expressive power,
decidability and complexity of reasoning, 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 representation languages, database query languages,
constraint-based programming, logic programming, and rule-based
- Use of description logics in applications or areas such as ontology
engineering, ontology languages, databases, semi-structured data,
document management, natural language, learning, planning, semantic
web, and grid computing.
- Building systems based on description logics, with special emphasis
on optimization and implementation techniques.
- Tools that exploit description Logic reasoning, such as ontology
editors, database schema design, query optimization, and data