Query Answering for OWL-DL with rules.

Journal article

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. © 2005 Elsevier B.V. All rights reserved.

Authors: Motik, B; Sattler, U; Studer, R

• Journal: J. Web Sem.
• Volume: 3
• Issue: 1
• Pages: 41-60
• Publication date: 2005-01-01
• DOI: 10.1016/j.websem.2005.05.001
• ISSN: 1570-8268
• Language: English
• Keywords: Decidability; Rules; Description logics; Hybrid languages