Journal article icon

Journal article

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 s...

Expand abstract

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Sattler, U More by this author
Journal:
J. Web Sem.
Volume:
3
Issue:
1
Pages:
41-60
Publication date:
2005
DOI:
ISSN:
1570-8268
URN:
uuid:09369355-baa7-47c0-8e9f-b5a9c17f913f
Source identifiers:
281504
Local pid:
pubs:281504

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP