Integrity constraints in OWL ontologies based on grounded circumscription

Authors:
Dantong Ouyang;Xianji Cui;Yuxin Ye
Affiliations:
College of Computer Science and Technology, Jilin University, Changchun, China 130012 and Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education, Changchun, China 1 ...;College of Computer Science and Technology, Jilin University, Changchun, China 130012 and Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education, Changchun, China 1 ...;College of Computer Science and Technology, Jilin University, Changchun, China 130012 and Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education, Changchun, China 1 ...
Venue:
Frontiers of Computer Science: Selected Publications from Chinese Universities
Year:
2013

Citing 11
Cited 0

All I know: a study in autoepistemic logic

Artificial Intelligence
Foundations of logic programming

Principles of knowledge representation
An epistemic operator for description logics

Artificial Intelligence
Description logics of minimal knowledge and negation as failure

ACM Transactions on Computational Logic (TOCL)
On integrity constraints

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
The Description Logic Handbook

The Description Logic Handbook
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Bridging the gap between OWL and relational databases

Web Semantics: Science, Services and Agents on the World Wide Web
Translating relational & object-relational database models into OWL models

IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Reconciling description logics and rules

Journal of the ACM (JACM)
Local closed world semantics: grounded circumscription for OWL

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

The extensions for logic-based knowledge bases with integrity constraints are rather popular. We put forward an alternative criteria for analysis of integrity constraints in Web ontology language (OWL) ontology under the closed world assumption. According to this criteria, grounded circumscription is applied to define integrity constraints in OWL ontology and the satisfaction of the integrity constraints by minimizing extensions of the predicates in integrity constraints. According to the semantics of integrity constraints, we provide a modified tableau algorithm which is sound and complete for deciding the consistency of an extended ontology. Finally, the integrity constraint validation is converted into the corresponding consistency of the extended ontology. Comparing our approach with existing integrity constraint validation approaches, we show that the results of our approach are more in accordance with user requirements than other approaches in certain cases.