Description Logic Rules
Download Description Logic Rules PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Description Logic Rules book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Description Logic Rules
Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C’s RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary background for understanding the goals and challenges of this field, whereas advanced chapters discuss novel solutions in full detail. Enriched knowledge representation languages that are introduced include DL Rules, Horn description logics, and DL+safe Rules. In each of these cases, emphasis is put on finding a favourable trade-off between expressiveness and computational complexity. This naturally leads to the light-weight DL rule language ELP which illustrates that expressive ontological modelling and tractable inferencing can indeed go together. Comprehensive references for further reading are provided throughout the book.
Introduction to Description Logic
Author: Franz Baader
language: en
Publisher: Cambridge University Press
Release Date: 2017-04-20
The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.
The Description Logic Handbook
Author: Franz Baader
language: en
Publisher: Cambridge University Press
Release Date: 2003-01-09
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. They are embodied in several knowledge-based systems and are used to develop various real-life applications. The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically-oriented readers, to those with more practically-oriented interests who need a sound and modern understanding of knowledge representation systems based on Description Logics. The chapters are written by some of the most prominent researchers in the field, introducing the basic technical material before taking the reader to the current state of the subject, and including comprehensive guides to the literature. In sum, the book will serve as a unique reference for the subject, and can also be used for self-study or in conjunction with Knowledge Representation and Artificial Intelligence courses.