Integrity Constraints in OWL

12 years 1 months ago
Integrity Constraints in OWL
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However, specific aspects of OWL's standard semantics--i.e., the Open World Assumption (OWA) and the absence of Unique Name Assumption (UNA)--make it difficult to use OWL in this way. What triggers a constraint violation in a closed world system leads to new inferences in standard OWL systems. In this paper, we show how defining an Integrity Constraint (IC) semantics for OWL axioms can overcome this problem and discuss possible semantics for ICs. We examine IC semantics discussed in the deductive databases literature, discuss how to adopt these approaches for OWL, and compare it with existing proposals for ICs in OWL. We show IC validation problem can be reduced to SPARQL query answering using off-the-shelf reasoner and present our preliminary results with a prototype implementation using Pellet.
Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinn
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2010
Where AAAI
Authors Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness
Comments (0)