Inproceedings3066
Aus Aifbportal
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
Forschungsgruppe
Forschungsgebiet
Beschreibungslogik, Logik, Datenbanksysteme