Submission Details
All papers submitted to DL 2009 must be
In order to keep the reviwers' workload manageable as well as ensuring fairness to all submitting authors,
all submissions not comforming to these requirements will be rejected without review.
The workshop proceedings will be made available electronically in the
CEUR Workshop Proceedings series.
Accepted submissions will be selected for either oral or poster
presentation; however, no distinction will be made in the workshop proceedings.
Workshop Scope
We invite contributions on all aspects of description logics, such as
- 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 and nonmonotonic 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 systems;
- 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; and
- tools that exploit description logic reasoning, such as ontology
editors, database schema design, query optimization, and data
integration tools.