Orel: Database-Driven Reasoning for OWL 2 Profiles

From korrekt.org

Jump to: navigation, search


Markus Krötzsch, Anees Mehdi, Sebastian Rudolph

Orel: Database-Driven Reasoning for OWL 2 Profiles



Abstract. We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardized 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.

Published at DL 2010 (Workshop paper)

Download PDF (last update: Mar 10 2010)

Citation details

Topics

Description logics

Personal tools