Franz Baader, Ian Horrocks, Carsten Lutz

An Introduction to Description Logic

• Gebundenes 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: 7. September 2018
• Englisch
• Abmessung: 235mm x 157mm x 19mm
• Gewicht: 540g
• ISBN-13: 9780521873611
• ISBN-10: 0521873614
• Artikelnr.: 26950981

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.