Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings3080

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

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
Beschreibungslogik, Wissensrepräsentationssprachen, Deduktive Datenbanken, Semantic Web


The extended technical report about this work is called Efficient Inferencing for the Description Logic Underlying OWL EL.

-->