DL 2014

Workshop

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

The workshop will be held at the Technical University of Vienna, from July 17th to July 20th, 2014.

This year the DL workshop is part of the Vienna Summer of Logic, a vast event hosting several major logic conferences and workshops. In particular, the workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).

Invited Speakers

• Michael Benedikt, University of Oxford, UK
• Patrick Blackburn, University of Roskilde, Denmark
• Alon Y. Halevy, Google, USA

Scope

We are interested in all aspects of DLs:

• Foundations: e.g., expressive power, decidability and complexity, novel inference problems and reasoning techniques.
• Extensions: e.g., closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages.
• Integration: e.g., with object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems.
• Applications: e.g., ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing.
• Tools: e.g., systems based on description logics, with special emphasis on optimization and implementation techniques, ontology editors, database schema design, query optimization, and data integration tools.