Introduction to Description Logic

Informationen zum Autor 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. Klappentext The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web. Zusammenfassung Description logics are knowledge representation formalisms that are highly relevant in computer science! knowledge representation and the semantic web. This is the first introductory textbook published on the subject! suitable for self-study by graduate students and as teaching material for university courses. 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.

Dettagli sul prodotto

• Autori: Franz Baader, Franz (Technische Universitat Baader, Franz Horrocks Baader, Baader Franz, Ian Horrocks, Ian (University of Oxford) Horrocks, Carsten Lutz, Carsten (Universitat Bremen) Lutz, Lutz Carsten, Uli (University of Manchester) Sattler, Ulrike Sattler, Sattler Uli
• Editore: Cambridge University Press ELT
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 30.04.2017
• EAN: 9780521695428
• ISBN: 978-0-521-69542-8
• Pagine: 260
• Categorie: Guide e manuali; Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; Expert systems / knowledge-based systems, Databases, COMPUTERS / Database Administration & Management, Databases / Data management