The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
Inhaltsverzeichnis
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.