Stage-oe-small.jpg

Inproceedings3066: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Krötzsch |ErsterAutorVorname=Markus }} {{Publikation Author |Rank=2 |Author=Anees ul Mehdi }} {{Publikation Autho…“)
 
 
Zeile 23: Zeile 23:
 
{{Publikation Details
 
{{Publikation Details
 
|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.
 
|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.
 +
|Download=MMR-DL2010-Orel.pdf,
 
|Projekt=ExpresST
 
|Projekt=ExpresST
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement

Aktuelle Version vom 29. Mai 2010, 21:32 Uhr


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