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
)
