Query Answering for OWL-DL with Rules

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.

DOI: 10.1007/978-3-540-30475-3_38

Extracted Key Phrases

6 Figures and Tables

050100'04'06'08'10'12'14'16
Citations per Year

849 Citations

Semantic Scholar estimates that this publication has 849 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Motik2004QueryAF, title={Query Answering for OWL-DL with Rules}, author={Boris Motik and Ulrike Sattler and Rudi Studer}, journal={J. Web Sem.}, year={2004}, volume={3}, pages={41-60} }