Rule-based reasoning with OWL 2 RL ontologies
Jarosław Bąk, Maciej Nowak, Czesław Jędrzejak · 2014
In this paper we present a method of transforming OWL 2 RL ontologies into a set of rules which can be used in a rule engine. We use HermiT reasoner to perform the TBox reasoning. The ontology is transformed into an Abstract Syntax of Rules and Facts and then into any forward chaining reasoning engine. We present an implementation of our method using Jess and Drools engines. The evaluation performed on benchmark ontologies shows that we can perform the ABox reasoning with considerably better performance than HermiT.