This tutorial covers the very basics of Description Logics (DLs): first, we present the primary DL 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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Sattler, U. (2007). Reasoning in description logics: Basics, extensions, and relatives. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4636 LNCS, pp. 154–182). Springer Verlag. https://doi.org/10.1007/978-3-540-74615-7_2
Mendeley helps you to discover research relevant for your work.