Sattler, Ulrike Reasoning in description logics: Basics, extensions, and relatives. (English) Zbl 1170.68649 Antoniou, Grigoris (ed.) et al., Reasoning web. Third international summer school 2007, Dresden, Germany, September 3–7, 2007. Tutorial lectures. Berlin: Springer (ISBN 978-3-540-74613-3/pbk). Lecture Notes in Computer Science 4636, 154-182 (2007). Summary: This tutorial covers the very basics of Description Logics (DLs): first, we present the primary DL \(\mathcal {ALC}\), namely its syntax, semantics, and reasoning problems, making use of a running example. Next, we discuss a few important extensions and explain DL’s relationship with first-order logic, with modal logic, with OWL, and with rule-based formalisms, and give a brief sketch of tableau-based reasoning algorithms for DLs.For the entire collection see [Zbl 1123.68002]. Cited in 1 Document MSC: 68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 68T27 Logic in artificial intelligence 68T30 Knowledge representation Software:OilEd; Pellet PDFBibTeX XMLCite \textit{U. Sattler}, Lect. Notes Comput. Sci. 4636, 154--182 (2007; Zbl 1170.68649) Full Text: DOI