Franz Baader is a professor in the Institute of Theoretical Computer Science at Technische Universität, Dresden. Ian Horrocks is a professor in the Department of Computer Science at the University of Oxford. Carsten Lutz is a professor in the Department of Computer Science at Universität Bremen. Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester.

Select Guide Rating

• 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.

Franz Baader is a professor in the Institute of Theoretical Computer Science at Technische Universität, Dresden. Ian Horrocks is a professor in the Department of Computer Science at the University of Oxford. Carsten Lutz is a professor in the Department of Computer Science at Universität Bremen. Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester.

Select Guide Rating

• 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.