Orel: Database-Driven Reasoning for OWL 2 Profiles

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

• Markus Krötzsch, Anees Mehdi, Sebastian Rudolph. Orel: Database-Driven Reasoning for OWL 2 Profiles. In Volker Haarslev, David Toman, Grant Weddell, eds.: Proceedings of the 23rd International Workshop on Description Logics (DL2010), pp. 114–124. CEUR Workshop ProceedingsProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2010.

@inproceedings{KMR10:Orel,
    author    = {Markus Kr\"{o}tzsch and Anees Mehdi
                 and Sebastian Rudolph},
    title     = {Orel: Database-Driven Reasoning for {OWL~2} Profiles},
    pages     = {114--124},
    crossref  = {dl10}
}
@proceedings{dl10,
    editor    = {Volker Haarslev and David Toman and Grant Weddell},
    title     = {Proceedings of the 23rd International Workshop on
                 Description Logics (DL'10)},
    booktitle = {Proceedings of the 23rd International Workshop on
                 Description Logics (DL'10)},
    publisher = {CEUR-WS.org},
    series    = {CEUR Workshop Proceedings},
    volume    = {573},
    year      = {2010},
}

Topics

Description logics