Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings3066

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

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, Datenbanksysteme, Logik


-->