Stage-oe-small.jpg

Inproceedings3066

Aus Aifbportal
Wechseln zu:Navigation, Suche


Orel: Database-Driven Reasoning for OWL 2 Profiles


Orel: Database-Driven Reasoning for OWL 2 Profiles



Published: 2010 Mai

Buchtitel: Proceedings of the 23nd International Workshop on Description Logics (DL 2010)
Ausgabe: 573
Reihe: CEUR Workshop Proceedings
Verlag: CEUR-WS.org

Referierte Veröffentlichung

BibTeX

Kurzfassung
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.

Download: Media:MMR-DL2010-Orel.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Beschreibungslogik, Logik, Datenbanksysteme