Article1066: Unterschied zwischen den Versionen
K (Added from ontology) |
Ne2260 (Diskussion | Beiträge) K (Textersetzung - „Forschungsgruppe=Wissensmanagement“ durch „Forschungsgruppe=Web Science und Wissensmanagement“) |
||
| (5 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| − | {{Publikation | + | {{Publikation Erster Autor |
| − | | | + | |ErsterAutorNachname=Motik |
| − | | | + | |ErsterAutorVorname=Boris |
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
| Zeile 25: | Zeile 25: | ||
|Abstract=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. | |Abstract=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. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
| − | |||
| − | |||
|Projekt= | |Projekt= | ||
| − | |Forschungsgruppe= | + | |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
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.
Web Science und Wissensmanagement