{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:00:51Z","timestamp":1709823651335},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T00:00:00Z","timestamp":1382313600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11704-013-2284-2","type":"journal-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T09:42:27Z","timestamp":1382348547000},"page":"812-821","source":"Crossref","is-referenced-by-count":5,"title":["Integrity constraints in OWL ontologies based on grounded circumscription"],"prefix":"10.1007","volume":"7","author":[{"given":"Dantong","family":"Ouyang","sequence":"first","affiliation":[]},{"given":"Xianji","family":"Cui","sequence":"additional","affiliation":[]},{"given":"Yuxin","family":"Ye","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,10,21]]},"reference":[{"key":"2284_CR1","first-page":"67","volume-title":"Springer","author":"G Antoniou","year":"2004","unstructured":"Antoniou G, Van Harmelen F. In: Web ontology language: OWL. Springer, 2004, 67\u201392"},{"key":"2284_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F Baader","year":"2007","unstructured":"Baader F, McGuinness D L, Nardi D. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2007"},{"issue":"3","key":"2284_CR3","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1109\/TSMCC.2011.2163934","volume":"42","author":"P Kremen","year":"2012","unstructured":"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\u2013344","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"key":"2284_CR4","first-page":"336","volume-title":"Proceedings of the 2009 IEEE International Conference on Information Reuse & Integration","author":"M A Khalid","year":"2009","unstructured":"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\u2013341"},{"key":"2284_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-3384-5_4","volume-title":"Logic for Data Description","author":"R Kowalski","year":"1978","unstructured":"Kowalski R. Logic for Data Description. Springer, 1978"},{"issue":"12","key":"2284_CR6","doi-asserted-by":"crossref","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"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\u20131539","journal-title":"Artificial Intelligence"},{"issue":"5","key":"2284_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik B, Rosati R. Reconciling description logics and rules. Journal of the ACM, 2010, 57(5): 1\u201362","journal-title":"Journal of the ACM"},{"key":"2284_CR8","first-page":"97","volume-title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge","author":"R Reiter","year":"1988","unstructured":"Reiter R. On integrity constraints. In: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge. 1988, 97\u2013111"},{"issue":"2","key":"2284_CR9","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H Levesque","year":"1990","unstructured":"Levesque H. All I know: a study in autoepistemic logic. Artificial Intelligence, 1990, 42(2): 263\u2013310","journal-title":"Artificial Intelligence"},{"issue":"1","key":"2284_CR10","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","volume":"100","author":"F Donini","year":"1998","unstructured":"Donini F, Lenzerini M, Nardi D, Schaerf A, Nutt W. An epistemic operator for description logics. Artificial Intelligence, 1998, 100(1): 225\u2013274","journal-title":"Artificial Intelligence"},{"issue":"2","key":"2284_CR11","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F Donini","year":"2002","unstructured":"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\u2013225","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"2284_CR12","volume-title":"Proceedings of the 24th AAAI Conference on Artificial Intelligence","author":"J Tao","year":"2010","unstructured":"Tao J, Sirin E, Bao J, McGuinness D. Integrity constraints in OWL. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence. 2010"},{"issue":"2","key":"2284_CR13","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.websem.2009.02.001","volume":"7","author":"B Motik","year":"2009","unstructured":"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\u201389","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"issue":"7","key":"2284_CR14","first-page":"2931","volume":"8","author":"X J Cui","year":"2012","unstructured":"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\u20132939","journal-title":"Journal of Computational Information Systems"},{"issue":"6","key":"2284_CR15","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S1005-8885(09)60534-3","volume":"17","author":"D T Ouyang","year":"2010","unstructured":"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\u2013121","journal-title":"The Journal of China Universities of Posts and Telecommunications"},{"issue":"2","key":"2284_CR16","first-page":"394","volume":"7","author":"X J Cui","year":"2011","unstructured":"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\u2013402","journal-title":"Journal of Computational Information Systems"},{"issue":"1","key":"2284_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy J. Circumscriptiona\u0142a form of non-monotonic reasoning. Artificial Intelligence, 1980, 13(1): 27\u201339","journal-title":"Artificial Intelligence"},{"key":"2284_CR18","first-page":"617","volume-title":"Proceedings of the 10th International Conference on the Semantic Web","author":"K Sengupta","year":"2011","unstructured":"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\u2013632"},{"issue":"1","key":"2284_CR19","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I Horrocks","year":"2003","unstructured":"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\u201326","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"2284_CR20","first-page":"69","volume":"3","author":"V Lifschitz","year":"1996","unstructured":"Lifschitz V. Foundations of logic programming. Principles of Knowledge Representation, 1996, 3: 69\u2013127","journal-title":"Principles of Knowledge Representation"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-2284-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-013-2284-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-2284-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:01:17Z","timestamp":1559422877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-013-2284-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,21]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["2284"],"URL":"https:\/\/doi.org\/10.1007\/s11704-013-2284-2","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,21]]}}}