Book description

Ontological modeling 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 modeling, 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 modeling and tractable inferencing can indeed go together.Comprehensive references for further reading are provided throughout the book.
  • Release date: 30.09.2010
  • Author:
  • Publisher: IOS Press
  • ISBN: 9781607506546
  • 276 pages
  • Book rating: 0.7 (0 votes)

Files to download

Start search files

PDF, ePub and Kindle versions

How our service works

  • Deep integration

    We cooperate with many libraries, and file hosting services. Our service is constantly finds new book and adds them to a database.

  • Compatible with all devices

    Most archives from our collection contain just three formats: PDF, ePub and Kindle. 99% of all devices work with these formats.

  • Only high-quality books

    Service is able to recognize quality and to cut e-books unreadable content. In our database, only high-quality files.

  • Download speed and availability

    Our robot checks every 15 minutes for the file on the remote server. We guarantee availability and high-speed file downloads.