* Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler. AnIntroduction to Description Logic. Cambridge UniversityPress, 2017.
Description Logics are a family of fundamental logicallanguages that are used for the representation ofknowledge, for example in the Semantic Web in the formof the known web ontology language, in biomedicalapplications, and in data integration. The lecture will startwith an introduction to the field of description logics andontologies. In particular, we will give precise definitions forsyntax and semantics of the fundamental description logicALC and introduce the standard reasoning problems.We then proceed to study expressive power,computational complexity of reasoning, and practical(tableaux) algorithms exemplarily for ALC. In the end, wewill also look at light-weight description logics with lessexpressive power but computationally easier reasoning.