Inproceedings1154: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
Zeile 24: | Zeile 24: | ||
|ISSN=1862-4405 | |ISSN=1862-4405 | ||
|VG Wort-Seiten=7 | |VG Wort-Seiten=7 | ||
− | |Download= | + | |Download=2005_1154_Hitzler_Faster_OWL_Usin_1.pdf |
|Link=http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=480 | |Link=http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=480 | ||
− | | | + | |Projekt=STI2, SEKT, KnowledgeWeb, SmartWeb, |
− | |||
|Forschungsgruppe= | |Forschungsgruppe= | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Semantic Web Infrastructure | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Deduktive Datenbanken | ||
+ | }} | ||
+ | {{Forschungsgebiet Auswahl | ||
+ | |Forschungsgebiet=Logikprogrammierung | ||
}} | }} |
Version vom 15. August 2009, 19:39 Uhr
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öffentlichung
Note: see also ARW2005 publication
BibTeX
Kurzfassung
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
Download: Media:2005_1154_Hitzler_Faster_OWL_Usin_1.pdf
Weitere Informationen unter: Link
STI2, SEKT, KnowledgeWeb, SmartWeb
Semantic Web Infrastructure, Deduktive Datenbanken, Logikprogrammierung