×

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.

MSC:

68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68T27 Logic in artificial intelligence
68T30 Knowledge representation
PDFBibTeX XMLCite
Full Text: DOI