Baader, Franz
An Introduction to Description Logic
- ISBN 13:
- 9780521695428
- author:
- Baader, Franz
- format:
- Paperback
- publisher:
- Cambridge University Press
- language:
- English
- Publication Year:
- 2017
- Pages:
- 260
- Dimensions:
- 23.19 x 15.77 x 2.03 centimetres
- Genre:
- Computers, Server & Database, General Database
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
Description Logic: A Comprehensive Introduction This textbook provides an in-depth exploration of description logics (DLs), a fundamental concept in computer science and knowledge representation. DLs enable the formal representation of domain knowledge, allowing computers to reason about it. Written by four leading experts in the field, this book covers the syntax, semantics, reasoning problems, model theory, and computational complexity of DLs. It also delves into various reasoning techniques, knowledge-based applications, tools, and the relationship between DLs and ontology languages such as OWL. Suitable for self-study or as a foundation for university courses, this book offers a thorough understanding of description logics, making it an ideal resource for those seeking to grasp the underlying principles of these widely used ontology languages.
Related Products
Related Products
Logic: An Introduction
Restall, Greg
Introduction to Logic
Irving M Copi , Carl Cohen , Kenneth McMahon
Introduction to Logic
Suppes, Patrick
Logical Forms: An Introduction to Philosophical Logic
Sainsbury, Mark
Logic with Trees: Introduction to Symbolic Logic
Howson, Colin