An Introduction to Description Logic

ISBN-13: 9780521873611 / Angielski / Twarda / 2017 / 262 str.

Franz Baader; Ian Horrocks; Carsten Lutz

Opis

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

Spis treści

1. Introduction; 2. A basic DL; 3. A little bit of model theory; 4. Reasoning in DLs with tableau algorithms; 5. Complexity; 6. Reasoning in the εL family of description logics; 7. Query answering; 8. Ontology languages and applications; Appendix A. Description logic terminology; References; Index.