Orel: Database-Driven Reasoning for OWL 2 Profiles
From korrekt.org
Revision as of 08:04, 11 August 2011 by Markus Krötzsch (Talk | contribs)
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 Proceedings 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},
}
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},
}
