Description Logic Rules

  • Krötzsch, M.

+ Author(s) Name
  • Krötzsch, M.

  • The book titled “Description Logic Rules” 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.

+ About the Book
  • The book titled “Description Logic Rules” 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.

  • ISBN : 9781607506546

+ ISBN
  • ISBN : 9781607506546

  • Publisher : IOS Press

+ Publisher Details
  • Publisher : IOS Press

  • Year of Publication : 2010

+ Year of Publication
  • Year of Publication : 2010