Orel: Database-Driven Reasoning for OWL 2 Profiles

From International Center for Computational Logic

Toggle side column

Orel: Database-Driven Reasoning for OWL 2 Profiles

Markus KrötzschMarkus Krötzsch,  Anees ul MehdiAnees ul Mehdi,  Sebastian RudolphSebastian Rudolph
Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, May 2010. CEUR-WS.org
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: Computational LogicComputational LogicWissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KMR2010,
  author    = {Markus Kr{\"{o}}tzsch and Anees ul Mehdi and Sebastian Rudolph},
  title     = {Orel: Database-Driven Reasoning for {OWL} 2 Profiles},
  booktitle = {Proceedings of the 23nd International Workshop on Description
               Logics (DL 2010)},
  series    = {CEUR Workshop Proceedings},
  volume    = {573},
  publisher = {CEUR-WS.org},
  year      = {2010},
  month     = {May}
}