Towards Integrity Constraints in OWL

Printer-friendly version

Citation: Sirin, E. and Tao, J. 2009. Towards Integrity Constraints in OWL. In Proceedings of OWLED 2009 (October 23-24 2009, Westfields Conference Center, Washington, D.C., US).

Presented at the OWLED 2009

Abstract:

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 closed world systems 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.

History

DateCreated ByLink
June 29, 2011
11:28:20
Jiao TaoDownload

Related Projects:

Inference Web Project LogoInference Web
Principal Investigator: Deborah L. McGuinness
Description: The Inference Web is a Semantic Web based knowledge provenance infrastructure that supports interoperable explanations of sources, assumptions, learned information, and answers as an enabler for trust. Provenance - if users (humans and agents) are to use and integrate data from unknown, uncertain, or multiple sources, they need provenance metadata for evaluation Interoperability - more systems are using varied sources and multiple information manipulation engines, thus increasing interoperability requirements Explanation/Justification - if information has been manipulated (i.e., by sound deduction or by heuristic processes), information manipulation trace information should be available Trust - if some sources are more trustworthy than others, trust ratings are desired The Inference Web consists of two important components: Proof Markup Language (PML) Ontology - Semantic Web based representation for exchanging explanations including provenance information - annotating the sources of knowledge justification information - annotating the steps for deriving the conclusions or executing workflows trust information - annotating trustworthiness assertions about knowledge and sources IW Toolkit - Web-based and standalone tools that facilitate human users to browse, debug, explain, and abstract the knowledge encoded in PML.

Related Research Areas:

Knowledge Provenance
Lead Professor: Deborah L. McGuinness
Description: Knowledge Provenance
Concepts: , Semantic Web
Ontology Engineering Environments
Lead Professor: Deborah L. McGuinness
Description: Ontology Engineering Environments
Concepts: Semantic Web
Semantic Foundations
Lead Professor: Deborah L. McGuinness
Description: Semantic Foundations
Concepts: Semantic Web