Orel: Database-Driven Reasoning for OWL 2 Profiles

Markus KrötzschMarkus Krötzsch, Anees ul MehdiAnees ul Mehdi, Sebastian RudolphSebastian Rudolph

Download

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

Details
Bibtex

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 Logic, Wissensbasierte 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}
}