Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
Über den Autor
Franz Baader is a professor in the Institute of Theoretical Computer Science at Technische Universität, Dresden.
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.
Details
Erscheinungsjahr: 2017
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9780521695428
ISBN-10: 0521695422
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Baader, Franz
Horrocks, Ian
Lutz, Carsten
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 229 x 152 x 16 mm
Von/Mit: Franz Baader (u. a.)
Erscheinungsdatum: 20.04.2017
Gewicht: 0,434 kg
Artikel-ID: 108780326

Ähnliche Produkte