Orel: Database-Driven Reasoning for OWL 2 Profiles

We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs consequence-driven reasoning on the database level which is always sound. It is guaranteed to be complete if the ontology is contained in one of the two profiles. We present the underlying calculus, the core algorithm, and initial evaluation results.

• Type: Journal
• Year: 2010
• Where: DLOG
• Authors: Markus Krötzsch, Anees Mehdi, Sebastian Rudolph
• Keywords: Automated Reasoning, Consequence-driven Reasoning, DLOG 2010, Ontology Language, Ontology Language Owl