Aus Aifbportal
Version vom 16. Oktober 2009, 17:35 Uhr von Nicole Arlt (Diskussion | Beiträge) (Wikipedia python library)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Faster OWL Using Split Programs

Faster OWL Using Split Programs

Published: 2005 September
Herausgeber: F. Bry, F. Fages, M. Marchiori, H.-J. Ohlbach
Buchtitel: Principles and Practices of Semantic Web Reasoning
Nummer: 05371
Reihe: Dagstuhl Seminar Proceedings
Erscheinungsort: Dagstuhl, Germany

Referierte VeröffentlichungNote: see also ARW2005 publication


We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL. Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog, and rests on the idea of performing standard resolution over disjunctive rules by treating them as if they were non-disjunctive ones. We analyse our reasoning approach by means of non-monotonic reasoning techniques, and present an implementation, called Screech.

ISSN: 1862-4405
VG Wort-Seiten: 7
Weitere Informationen unter: LinkLink






Semantic Web Infrastructure, Deduktive Datenbanken, Logikprogrammierung