VSL 2014: VIENNA SUMMER OF LOGIC 2014
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

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)

Program Committee