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 ontolog...
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Journal article |
Language: | English |
Published: |
CEUR-WS.org
2010
|
_version_ | 1797070045340237824 |
---|---|
author | Krötzsch, M Mehdi, A Rudolph, S |
author2 | Haarslev, V |
author_facet | Haarslev, V Krötzsch, M Mehdi, A Rudolph, S |
author_sort | Krötzsch, M |
collection | OXFORD |
description | 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. |
first_indexed | 2024-03-06T22:33:24Z |
format | Journal article |
id | oxford-uuid:59066505-b640-4d9a-9661-8bf87bb3e6a3 |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-06T22:33:24Z |
publishDate | 2010 |
publisher | CEUR-WS.org |
record_format | dspace |
spelling | oxford-uuid:59066505-b640-4d9a-9661-8bf87bb3e6a32022-03-26T17:07:24ZOrel: Database-Driven Reasoning for OWL 2 Profiles.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:59066505-b640-4d9a-9661-8bf87bb3e6a3EnglishSymplectic Elements at OxfordCEUR-WS.org2010Krötzsch, MMehdi, ARudolph, SHaarslev, VToman, DWeddell, GWe 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. |
spellingShingle | Krötzsch, M Mehdi, A Rudolph, S Orel: Database-Driven Reasoning for OWL 2 Profiles. |
title | Orel: Database-Driven Reasoning for OWL 2 Profiles. |
title_full | Orel: Database-Driven Reasoning for OWL 2 Profiles. |
title_fullStr | Orel: Database-Driven Reasoning for OWL 2 Profiles. |
title_full_unstemmed | Orel: Database-Driven Reasoning for OWL 2 Profiles. |
title_short | Orel: Database-Driven Reasoning for OWL 2 Profiles. |
title_sort | orel database driven reasoning for owl 2 profiles |
work_keys_str_mv | AT krotzschm oreldatabasedrivenreasoningforowl2profiles AT mehdia oreldatabasedrivenreasoningforowl2profiles AT rudolphs oreldatabasedrivenreasoningforowl2profiles |