Stage-oe-small.jpg

Article1066: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Wikipedia python library)
K (Textersetzung - „Forschungsgruppe=Wissensmanagement“ durch „Forschungsgruppe=Web Science und Wissensmanagement“)
 
Zeile 26: Zeile 26:
 
|VG Wort-Seiten=
 
|VG Wort-Seiten=
 
|Projekt=
 
|Projekt=
|Forschungsgruppe=Wissensmanagement
+
|Forschungsgruppe=Web Science und Wissensmanagement
 
}}
 
}}

Aktuelle Version vom 8. Oktober 2015, 13:17 Uhr


Query Answering for OWL-DL with Rules


Query Answering for OWL-DL with Rules



Veröffentlicht: 2005 Juli

Journal: Journal of Web Semantics: Science, Services and Agents on the World Wide Web
Nummer: 1
Seiten: 41--60

Volume: 3


Referierte Veröffentlichung

BibTeX




Kurzfassung
Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the Semantic Web; however, it might easily lead to the undecidability of interesting reasoning problems. Here, we present a decidable such combination where rules are required to be DL-safe: each variable in the rule is required to occur in a non-DL-atom in the rule body. We discuss the expressive power of such a combination and present an algorithm for query answering in the related logic SHIQ extended with DL-safe rules, based on a reduction to disjunctive programs.



Forschungsgruppe

Web Science und Wissensmanagement


Forschungsgebiet