Orel: Database-Driven Reasoning for OWL 2 Profiles
Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph · Description Logics · 2010
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standar dised web on- tology language OWL 2. Orel performs consequence-driven reasoning on the database level which is always sound. It is guaranteed to be complete if the ontol- ogy is contained in one of the two profiles. We present the unde rlying calculus, the core algorithm, and initial evaluation results.