Description Logic Reasoning

Prof. Anni-Yasmin Turhan, Technische Universität Dresden, Alemania.

Description Logics (DLs) are a successful family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. Based on their formal semantics, many reasoning procedures have been defined and algorithms to compute them have been investigated for a range of Description Logics. Formal ontology languages for the Semantic Web such as OWL 2 and its profiles have greatly increased interest in DLs and related reasoning services in recent years. Most of these ontology languages are based on DLs. This tutorial gives an introduction to the basic notions underlying knowledge representation and reasoning with DLs. The main focus is on those DLs that form the core of the OWL lightweight profiles and the reasoning services they are tailored for.