{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:04:41Z","timestamp":1725861881423},"publisher-location":"Singapore","reference-count":16,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811020971"},{"type":"electronic","value":"9789811020988"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-981-10-2098-8_18","type":"book-chapter","created":{"date-parts":[[2016,7,30]],"date-time":"2016-07-30T02:56:57Z","timestamp":1469847417000},"page":"147-156","source":"Crossref","is-referenced-by-count":0,"title":["Integrity Constraint Validation in DL-Lite $$_R$$ Based Ontology Using Rewriting"],"prefix":"10.1007","author":[{"given":"Xianji","family":"Cui","sequence":"first","affiliation":[]},{"given":"Dantong","family":"Ouyang","sequence":"additional","affiliation":[]},{"given":"Jialiang","family":"He","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,31]]},"reference":[{"key":"18_CR1","series-title":"International Handbooks on Information Systems","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-540-24750-0_4","volume-title":"Handbook on Ontologies","author":"G Antoniou","year":"2004","unstructured":"Antoniou, G., Harmelen, F.: Web Ontology Language-OWL. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 67\u201392. Springer, Heidelberg (2004)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Parameswaran, M., Whinston, A.B.: Social computing: an overview. Commun. Assoc. Inf. Syst. (2007)","DOI":"10.17705\/1CAIS.01937"},{"issue":"3","key":"18_CR3","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1109\/TSMCC.2011.2163934","volume":"42","author":"K Petr","year":"2012","unstructured":"Petr, K., Kouba, Z.: Ontology-driven information system design. IEEE Trans. Syst. Man Cybern. Part C Appl. Rev. 42(3), 334\u2013344 (2012)","journal-title":"IEEE Trans. Syst. Man Cybern. Part C Appl. Rev."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Albarrak, K.M., Sibley, E.H.: Translating relational and object-relational database models into OWL models. In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI, pp. 336\u2013341 (2009)","DOI":"10.1109\/IRI.2009.5211575"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Fang, M.-S.: An expressive constraint language for OWL. In: Proceedings of 23rd International Workshop on Database and Expert Sytems Applications, pp. 249\u2013253 (2012)","DOI":"10.1109\/DEXA.2012.39"},{"issue":"2","key":"18_CR6","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 Trans. Comput. Logics 3(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Logics"},{"issue":"5","key":"18_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. J. ACM 57(5), 1\u201362 (2010)","journal-title":"J. ACM"},{"key":"18_CR8","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.: Bridging the gap between OWL and relational databases. J. Web Semant. 7, 74\u201389 (2009)","journal-title":"J. Web Semant."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Tao, J., Sirin, E., Bao, J., McGuinness, D.: Integrity constraints in OWL. In: AAAI, pp. 11\u201315 (2010)","DOI":"10.1609\/aaai.v24i1.7525"},{"key":"18_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook: Theory, Implementation and Application","author":"F Baader","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., et al.: The Description Logic Handbook: Theory, Implementation and Application, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, D.G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reasoning 39, 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: IJCAI, pp. 399\u2013404 (2007)","DOI":"10.1613\/jair.2372"},{"key":"18_CR13","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the 10th International Conference on Principle of Knowledge Representation and Reasoning, pp. 57\u201367 (2006)"},{"key":"18_CR14","unstructured":"Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics: an automata-theoretic approach. In: Proceedings of the Twenty Second AAAI Conference on Artificial Intelligence, pp. 391\u2013396 (2007)"},{"issue":"2","key":"18_CR15","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. J. Web Semant. 3(2), 158\u2013182 (2005)","journal-title":"J. Web Semant."},{"issue":"6","key":"18_CR16","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1007\/s11704-013-2284-2","volume":"7","author":"D Ouyang","year":"2013","unstructured":"Ouyang, D., Cui, X., Ye, Y.: Integrity constraint in OWL Ontology based on grounded circumscription. Front. Comput. Sci. 7(6), 812\u2013821 (2013)","journal-title":"Front. Comput. Sci."}],"container-title":["Communications in Computer and Information Science","Social Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-2098-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T12:13:37Z","timestamp":1692447217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-2098-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9789811020971","9789811020988"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-2098-8_18","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}