Integrity constraints in OWL ontologies based on grounded circumscription
Integrity constraints in OWL ontologies based on grounded circumscription
Dantong OUYANG1,2, Xianji CUI1,2, Yuxin YE1,2,3()
1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education, Changchun 130012, China; 3. National Engineering Research Center of Geophysics Exploration Instruments, Changchun 130026, China
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.
Corresponding Author(s):
YE Yuxin,Email:yeyx@jlu.edu.cn
引用本文:
. Integrity constraints in OWL ontologies based on grounded circumscription[J]. Frontiers of Computer Science, 2013, 7(6): 812-821.
Dantong OUYANG, Xianji CUI, Yuxin YE. Integrity constraints in OWL ontologies based on grounded circumscription. Front Comput Sci, 2013, 7(6): 812-821.
Antoniou G, Van Harmelen F. In: Web ontology language: OWL.Springer , 2004, 67-92
2
Baader F, McGuinness D L, Nardi D. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press , 2007 doi: 10.1017/CBO9780511711787
3
Kremen P, Kouba Z. Ontology-driven information system design. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews , 2012, 42(3): 334-344 doi: 10.1109/TSMCC.2011.2163934
4
Khalid M A, Edgar H S. Translating relational & object-relational database models into OWL models. In: Proceedings of the 2009 IEEE International Conference on Information Reuse & Integration . 2009, 336-341
5
Kowalski R. Logic for Data Description. Springer , 1978
6
Eiter T, Lukasiewicz T, Schindlauer R, Tompits H. Combining answer set programming with description logics for the semantic web. Artificial Intelligence , 2008, 172(12): 1495-1539 doi: 10.1016/j.artint.2008.04.002
7
Motik B, Rosati R. Reconciling description logics and rules. Journal of the ACM , 2010, 57(5): 1-62 doi: 10.1145/1754399.1754403
8
Reiter R. On integrity constraints. In: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge . 1988, 97-111
9
Levesque H. All I know: a study in autoepistemic logic. Artificial Intelligence , 1990, 42(2): 263-310 doi: 10.1016/0004-3702(90)90056-6
10
Donini F, Lenzerini M, Nardi D, Schaerf A, Nutt W. An epistemic operator for description logics. Artificial Intelligence , 1998, 100(1): 225-274 doi: 10.1016/S0004-3702(98)00009-5
11
Donini F, Bari P, Nardi D. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic (TOCL) , 2002, 3(2): 177-225 doi: 10.1145/505372.505373
12
Tao J, Sirin E, Bao J, McGuinness D. Integrity constraints in OWL. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence . 2010
13
Motik B, Horroks I, Sattler U I. Bridging the gap between owl and relational databases. Web Semantics: Science, Services and Agents on the World Wide Web , 2009, 7(2): 74-89 doi: 10.1016/j.websem.2009.02.001
14
Cui X J, Ouyang D T, Ye Y X, Wang H Y. Integrity maintenance of continually changed OWL ontology. Journal of Computational Information Systems , 2012, 8(7): 2931-2939
15
Ouyang D T, Cui X J, Ye Y X. Mapping integrity constraint ontology to relational databases. The Journal of China Universities of Posts and Telecommunications , 2010, 17(6): 113-121 doi: 10.1016/S1005-8885(09)60534-3
16
Cui X J, Ouyang D T, Ye Y X, Wang X L. Translation of Sparql to SQL based on integrity constraint. Journal of Computational Information Systems , 2011, 7(2): 394-402
17
McCarthy J. Circumscriptiona?a form of non-monotonic reasoning. Artificial Intelligence , 1980, 13(1): 27-39 doi: 10.1016/0004-3702(80)90011-9
18
Sengupta K, Krisnadhi A, Hitzler P. Local closed world semantics: grounded circumscription for OWL. In: Proceedings of the 10th International Conference on the Semantic Web . 2011 (1): 617-632
19
Horrocks I, Patel-Schneider P F, Harmelen F. From SHIQ and RDF to OWL: the making of a web ontology language. Web Semantics: Science, Services and Agents on the World Wide Web , 2003, 1(1): 7-26 doi: 10.1016/j.websem.2003.07.001
20
Lifschitz V. Foundations of logic programming. Principles of Knowledge Representation , 1996, 3: 69-127
