Opening book details…
Can I read An Introduction to Description Logic on EtoBox?
An Introduction to Description Logic by Baader, Franz (author);Horrocks, Ian (author);Lutz, Carsten (author);Sattler, Uli (author) is a computer science book available to read on EtoBox.
What is An Introduction to Description Logic about?
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and
Who reads An Introduction to Description Logic?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Baader, Franz (author);Horrocks, Ian (author);Lutz, Carsten (author);Sattler, Uli (author)
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2017
- Language
- EN
- ISBN
- 9781108206068
- Category
- computer science
- Subjects
- Science, Technology, Mathematics
- Updated
- 2026-03-25
More by Baader, Franz (author);Horrocks, Ian (author);Lutz, Carsten (author);Sattler, Uli (author)
Similar books
- Introduction to Logic Circuits & Logic Design with VHDL — Brock J. LaMeres (2016)
- A Proof Theory for Description Logics — Alexandre Rademaker (2012)
- The Description Logic Handbook : Theory, Implementation, and Applications — Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (2003)
- Prolog Versus You : An Introduction to Logic Programming — Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman (1989)
- Modal Logic : An Introduction to Its Syntax and Semantics — Nino B. Cocchiarella and Max A. Freund (2008)
- Logical Forms : an Introduction to Philosophical Logic — Mark Sainsbury (2001)