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 s...Expand abstract
- Publisher copy:
- Copyright date:
Query Answering for OWL-DL with rules.
If you are the owner of this record, you can report an update to it here: Report update to this record