DL 2024

The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway from June, 18th to June, 21st.

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

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, modularisation, ontology extraction, abductive and inductive reasoning, learnability

• Extensions of description logics:
  closed-world and non-monotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information

• Integration of description logics with other formalisms:
  database query languages, constraint-based programming, logic programming, rule-based systems, knowledge graphs, hybrid reasoning approaches

• Applications of description logics:
  ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph-structured data, linked data, document management, natural language, hybrid approaches combining logic and learning, explanations, planning, Semantic Web, cloud computing, conceptual modeling, web services, business processes, practical experiences, case studies, feasibility studies

• Systems and tools of all kinds around description logics:
  reasoners, ontology editors, ontology alignment, ontology extraction, ontology learning and mining, other support for ontology development, database schema design, query rewriting/answering/optimization, data integration, implementation and optimization techniques, benchmarking, evaluation, modeling