Please wait a minute...
Frontiers of Computer Science

ISSN 2095-2228

ISSN 2095-2236(Online)

CN 10-1014/TP

Postal Subscription Code 80-970

2018 Impact Factor: 1.129

Front Comput Sci    2013, Vol. 7 Issue (6) : 812-821    https://doi.org/10.1007/s11704-013-2284-2
RESEARCH ARTICLE
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
 Download: PDF(305 KB)   HTML
 Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks
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.

Keywords semantic Web      description logic      ontology      integrity constraints      grounded circumscription     
Corresponding Author(s): YE Yuxin,Email:yeyx@jlu.edu.cn   
Issue Date: 01 December 2013
 Cite this article:   
Dantong OUYANG,Xianji CUI,Yuxin YE. Integrity constraints in OWL ontologies based on grounded circumscription[J]. Front Comput Sci, 2013, 7(6): 812-821.
 URL:  
https://academic.hep.com.cn/fcs/EN/10.1007/s11704-013-2284-2
https://academic.hep.com.cn/fcs/EN/Y2013/V7/I6/812
1 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
[1] Houda AKREMI, Sami ZGHAL. DOF: a generic approach of domain ontology fuzzification[J]. Front. Comput. Sci., 2021, 15(3): 153322-.
[2] Yuxin YE, Xianji CUI, Dantong OUYANG. Extracting a justification for OWL ontologies by critical axioms[J]. Front. Comput. Sci., 2020, 14(4): 144305-.
[3] Changlong WANG, Zhiyong FENG, Xiaowang ZHANG, Xin WANG, Guozheng RAO, Daoxun FU. ComR: a combined OWL reasoner for ontology classification[J]. Front. Comput. Sci., 2019, 13(1): 139-156.
[4] Abdelkrim CHEBIEB, Yamine AIT AMEUR. A formal model for plastic human computer interfaces[J]. Front. Comput. Sci., 2018, 12(2): 351-375.
[5] Chuanping HU,Zheng XU,Yunhuai LIU,Lin MEI. Video structural description technology for the new generation video surveillance systems[J]. Front. Comput. Sci., 2015, 9(6): 980-989.
[6] Chuantao YIN,Bingxue ZHANG,Betrand DAVID,Zhang XIONG. A hierarchical ontology context model for work-based learning[J]. Front. Comput. Sci., 2015, 9(3): 466-473.
[7] Hadi SABOOHI, Sameem ABDUL KAREEM. An automatic subdigraph renovation plan for failure recovery of composite semantic Web services[J]. Front Comput Sci, 2013, 7(6): 894-913.
[8] Jaffer GARDEZI, Leopoldo BERTOSSI, Iluju KIRINGA. Matching dependencies: semantics and query answering[J]. Front Comput Sci, 2012, 6(3): 278-292.
[9] Weimin WANG, Jingchun ZHANG, Cong CAO, Tao HOU, Yue LIU, Keji CHEN. An efficient approach to representing and mining knowledge from Qing court medical records[J]. Front Comput Sci Chin, 2011, 5(4): 395-404.
[10] Dongsheng WANG. Answering contextual questions based on ontologies and question templates[J]. Front Comput Sci Chin, 2011, 5(4): 405-418.
[11] Ruixuan LI, Kunmei WEN, Xiwu GU, Yuhua LI, Xiaolin SUN, Bing LI. Type-2 fuzzy description logic[J]. Front Comput Sci Chin, 2011, 5(2): 205-215.
[12] HAO Guoshun, MA Shilong, LV Jianghua, SUI Yuefei. Dynamic description logic model for data integration[J]. Front. Comput. Sci., 2008, 2(3): 306-330.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed