Amazon cover image
Image from Amazon.com
Image from Google Jackets

An introduction to description logic / Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler.

By: Material type: TextTextLanguage: English Series: ill ; 23 cm.Publication details: Cambridge : Cambridge University Press, 2017.Description: vii, 255 pages ; 22cm. vii, [1], 255 pagesISBN:
  • 9780521695428
Subject(s): DDC classification:
  • 006.332 FRA
Contents:
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
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
General Books 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.

to post a comment.

Powered by Koha