Integrity Constraints in OWL

Presented at: 8th International Semantic Web Conference (ISWC2009)

by Jiao Tao, Evren Sirin

Webpage: http://kcap09.stanford.edu/share/posterDemos/194/index.html
Webpage: http://kcap09.stanford.edu/share/posterDemos/194/paper194.pdf
Webpage: https://github.com/lidingpku/iswc-archive/raw/master/paper/iswc-2009-poster/194/paper194.pdf

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. In this paper, we present an Integrity Constraint (IC) semantics for OWL axioms, show that IC validation can be reduced to query answering, and present our preliminary results with a prototype implementation using Pellet.

Keywords: Semantic Web


Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc/2009/paper/poster_demo/194


Explore this resource elsewhere: