Description Logic Rules (monograph)

From korrekt.org

Jump to: navigation, search


Markus Krötzsch

Description Logic Rules



Abstract. 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.

Published at IOS Press/AKA (Book)

Download PDF (last update: September 11 2010)

Citation details

Remarks

This is the official publication of my Ph.D. thesis, published in the series Studies on the Semantic Web of AKA (IOS Press). Copies can also be ordered via the book's official web page at AKA.

In 2011, I have received the KIT Doctoral Award for this dissertation.

Topics

Description Logics, Rule languages

Personal tools