Stage-oe-small.jpg

Inproceedings3080: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Krötzsch |ErsterAutorVorname=Markus }} {{Inproceedings |Referiert=True |BibTex-ID=Kel10 |Title=Efficient Inferenc…“)
 
(+Herausgeber)
 
(5 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
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,
 
|Projekt=ExpresST
 
|Projekt=ExpresST
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Beschreibungslogik
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Wissensrepräsentationssprachen
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Deduktive Datenbanken
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Semantic Web
 
}}
 
}}
 
The extended technical report about this work is called [[Techreport3005|Efficient Inferencing for the Description Logic Underlying OWL EL]].
 
The extended technical report about this work is called [[Techreport3005|Efficient Inferencing for the Description Logic Underlying OWL EL]].

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

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet

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.