Franz Baader, Ian Horrocks, Carsten Lutz

An Introduction to Description Logic

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 264
• Erscheinungstermin: 20. April 2017
• Englisch
• Abmessung: 229mm x 152mm x 16mm
• Gewicht: 434g
• ISBN-13: 9780521695428
• ISBN-10: 0521695422
• Artikelnr.: 48011553

Autorenporträt

Franz Baader is a professor in the Institute of Theoretical Computer Science at Technische Universität, Dresden.

Inhaltsangabe

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.