DL Home Page
Overview
DL 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.
This year's workshop is co-located with KR 2014 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2014).
Detailed information on DL 2014 can be found on the DL 2014 website.
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.
Invited Speakers
- Michael Benedikt, University of Oxford, UK
- Patrick Blackburn, University of Roskilde, Denmark
- Alon Y. Halevy, Google, USA
Important Dates
| Paper registration deadline: | April 7, 2014 April 11, 2014 |
| Paper submission deadline: | April 11, 2014 April 18, 2014 |
| Notification of acceptance: | May 26, 2014 |
| Camera-ready copies: | June 15, 2014 |
Organization
Meghyn Bienvenu, CNRS & Université Paris Sud (PC co-chair)
Magdalena Ortiz, Vienna University of Technology (general co-chair)
Riccardo Rosati, Sapienza University of Rome (PC co-chair)
Mantas Šimkus, Vienna University of Technology (general co-chair)