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.
Detailed information on DL 2014 can be found on the DL 2014 website.
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.
- Michael Benedikt, University of Oxford, UK
- Patrick Blackburn, University of Roskilde, Denmark
- Alon Y. Halevy, Google, USA
|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|
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)