Sciweavers

Share
DLOG
2010

Orel: Database-Driven Reasoning for OWL 2 Profiles

8 years 9 months ago
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.
Markus Krötzsch, Anees Mehdi, Sebastian Rudol
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where DLOG
Authors Markus Krötzsch, Anees Mehdi, Sebastian Rudolph
Comments (0)
books