Call for papers

DL 2017 Call for Papers

 

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 in Montpellier, France from July 18th to July 21st, 2017.

 

Important Dates 

  • Paper registration deadline: April 28, 2017 (Firm deadline)
  • Paper submission deadline: May 8, 2017 (Firm deadline)
  • Notification of acceptance: June 12, 2017
  • Camera-ready copies:  July 3, 2017
  • Workshop: July 18-21, 2017

Since we wanted the DL submission deadlines to be after the IJCAI notification date, the schedule is tight and NO DEADLINE EXTENSIONS will be possible.

 

Workshop Scope

We invite contributions on all aspects of description logics, including but not limited to:

  • Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency management, reasoning techniques, and modularity aspects
  • Extensions of description logics: closed-world and nonmonotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information
  • Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems
  • Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph structured data, linked data, document management, natural language, learning, planning, Semantic Web, cloud computing, conceptual modelling, web services, business processes
  • Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimisation, and data integration tools), implementation and optimisation techniques, benchmarking, evaluation, modelling

 

Submissions

For complete details, see the ‘Submissions’ page.

 

Resources

  • Questions about submission and the program should be directed to the PC chairs: Alessandro Artale and Birte Glimm.
  • For questions about organizational aspects of DL 2017, please contact the general chairs at the following address: dl2017@lirmm.fr 
  • The official description logic homepage is at http://dl.kr.org/

Comments are closed