The Not-So-Easy Task of Computing Class Subsumptions in OWL RL.

The lightweight ontology language OWL RL is used for reasoning with large amounts of data. To this end, the W3C standard provides a simple system of deduction rules, which operate directly on the RDF syntax of OWL. Several similar systems have been studied. However, these approaches are usually comp...

Full description

Bibliographic Details
Main Author: Krötzsch, M
Other Authors: Cudré-Mauroux, P
Format: Journal article
Language:English
Published: Springer 2012