OWL 2 RL is a profile of the OWL 2 web ontology language intended to be implementable by means of rule based inference.
In partnership with the University of Aberdeen we have implemented an experimental OWL 2 RL reasoner for Jena. This functions by translating an OWL 2 RL ontology to a set of custom JenaRules using the translation approach described in RIF OWL2RL. The resulting rule based reasoner can be applied to the to OWL 2 RL ontology (or other compatible RDF files) to detect inconsistencies or deduce new assertions based on the RDF semantics for OWL 2 RL.
We aim to do a preliminary release of this reasoner as part of a future Jena update, in the near future.
Author: Dave Reynolds
Last modification: $Id: OWL2RLExpt.html,v 1.3 2009-08-04 14:26:04 der Exp $