Inproceedings3080: Unterschied zwischen den Versionen
Mak (Diskussion | Beiträge) K |
Mak (Diskussion | Beiträge) (+Herausgeber) |
||
Zeile 11: | Zeile 11: | ||
|Pages=to appear | |Pages=to appear | ||
|Publisher=Springer | |Publisher=Springer | ||
+ | |Editor=Tomi Janhunen, Ilkka Niemelä | ||
|Series=LNAI | |Series=LNAI | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=We develop inferencing methods for SROEL(⊓,×) – a DL that subsumes the main features of the W3C recommendation OWL EL –, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(⊓,×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen fragments of SROEL(⊓,×). | |Abstract=We develop inferencing methods for SROEL(⊓,×) – a DL that subsumes the main features of the W3C recommendation OWL EL –, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(⊓,×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen fragments of SROEL(⊓,×). | ||
− | |Download=Kroetzsch-OWL-EL-Reasoning-Jelia-2010.pdf, | + | |Download=Kroetzsch-OWL-EL-Reasoning-Jelia-2010.pdf, |
|Projekt=ExpresST | |Projekt=ExpresST | ||
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement |
Aktuelle Version vom 2. Juli 2010, 20:00 Uhr
Efficient Inferencing for OWL EL
Efficient Inferencing for OWL EL
Published: 2010
Herausgeber: Tomi Janhunen, Ilkka Niemelä
Buchtitel: Proceedings of the 12th European Confernce on Logics in Artificial Intelligence (JELIA'10)
Reihe: LNAI
Seiten: to appear
Verlag: Springer
Referierte Veröffentlichung
BibTeX
Kurzfassung
We develop inferencing methods for SROEL(⊓,×) – a DL that subsumes the main features of the W3C recommendation OWL EL –, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(⊓,×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen fragments of SROEL(⊓,×).
Download: Media:Kroetzsch-OWL-EL-Reasoning-Jelia-2010.pdf
Wissensrepräsentationssprachen, Beschreibungslogik, Deduktive Datenbanken, Semantic Web
The extended technical report about this work is called Efficient Inferencing for the Description Logic Underlying OWL EL.