Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli An introduction to description logic. (English) Zbl 1373.68002 Cambridge: Cambridge University Press (ISBN 978-0-521-69542-8/pbk; 978-0-521-87361-1/hbk; 978-1-139-02535-5/ebook). vii, 255 p. (2017). The book covers the principles and mechanisms of description logic from the theoretical notions (syntax, semantics, model theory) and advanced concepts (computational complexity, algorithms for reasoning tasks) to their use in ontology languages, with an emphasis on OWL. It is thus written in a manner that is suitable and useful for an exhaustive undergraduate university course on the topic. Reviewer: Catalin Stoean (Craiova) Cited in 55 Documents MSC: 68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science 68T27 Logic in artificial intelligence 68T30 Knowledge representation Keywords:description logic; knowledge representation; reasoning; model theory; ontology languages PDFBibTeX XMLCite \textit{F. Baader} et al., An introduction to description logic. Cambridge: Cambridge University Press (2017; Zbl 1373.68002) Full Text: DOI