Call for Papers
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
- 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: 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, 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, other support for ontology development, database schema design, query rewriting/answering/optimization, data integration, implementation and optimization techniques, benchmarking, evaluation, modelling
Learn more: