An introduction to description logic / Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler.
Material type: TextLanguage: English Series: ill ; 23 cm.Publication details: Cambridge : Cambridge University Press, 2017.Description: vii, 255 pages ; 22cm. vii, [1], 255 pagesISBN:- 9780521695428
- 006.332 FRA
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Books | CUTN Central Library Generalia | Non-fiction | 006.332 FRA (Browse shelf(Opens below)) | Available | 38025 |
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
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.
There are no comments on this title.