{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:40:00Z","timestamp":1767138000553,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319068251","type":"print"},{"value":"9783319068268","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06826-8_14","type":"book-chapter","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T09:15:37Z","timestamp":1400577337000},"page":"175-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Belief Base Revision for Datalog+\/- Ontologies"],"prefix":"10.1007","author":[{"given":"Songxin","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff Z.","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuting","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Songqiao","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongmei","family":"Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,21]]},"reference":[{"key":"14_CR1","unstructured":"Flouris, G., Huang, Z., Pan, J.Z., Plexousakis, D., Wache, H.: Inconsistencies, negations and changes in ontologies. In: Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-06, pp. 1295\u20131300 (2006)"},{"key":"14_CR2","unstructured":"Koster, A., Pan, J.Z.: Ontology, semantics and reputation. In: Agreement Technologies. Springer (2013). ISBN 978-94-007-5582-6"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"T Lukasiewicz","year":"2012","unstructured":"Lukasiewicz, T., Cali, A., Gottlob, G.: A general datalog-based framework for tractable query answering over ontologies. J. Web Semant. 14, 57\u201383 (2012)","journal-title":"J. Web Semant."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Inconsistency handling in datalog+\/- ontologies. In: The Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, pp. 558\u2013563 (2012)","DOI":"10.3233\/978-1-61499-098-7-558"},{"issue":"1","key":"14_CR5","first-page":"195","volume":"69","author":"T Lukasiewicz","year":"2013","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Query answering under probabilistic uncertainty in Datalog+\/- ontologies. Ann. Math. Artif. Intell. 69(1), 195\u2013197 (2013)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MCI.2012.2188588","volume":"7","author":"JZ Pan","year":"2012","unstructured":"Pan, J.Z., Thomas, E., Ren, Y., Taylor, S.: Exploiting tractable fuzzy and crisp reasoning in ontology applications. IEEE Comput. Intell. Mag. 7(2), 45\u201353 (2012)","journal-title":"IEEE Comput. Intell. Mag."},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/978-3-540-88564-1_27","volume-title":"The Semantic Web - ISWC 2008","author":"G Qi","year":"2008","unstructured":"Qi, G., Haase, P., Huang, Z., Ji, Q., Pan, J.Z., V\u00f6lker, J.: A Kernel revision operator for terminologies \u2014 algorithms and evaluation. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 419\u2013434. Springer, Heidelberg (2008)"},{"key":"14_CR8","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E.: Probabilistic Datalog+\/- under the distribution semantics. In: The Proceedings of the 25th International Workshop on Description Logics (DL), Aachen, Germany, pp. 519\u2013529 (2012)"},{"key":"14_CR9","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Well-founded semantics for extended datalog and ontological reasoning. In: The Proceedings of the 32nd ACM Symposium on Principles of Database System. ACM Press (2013)"},{"issue":"1\u20132","key":"14_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"SO Hansson","year":"1997","unstructured":"Hansson, S.O.: Semi-revision. J. Appl. Non-Class. Logics 7(1\u20132), 151\u2013175 (1997)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"5","key":"14_CR11","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1093\/logcom\/exn048","volume":"19","author":"MM Ribeiro","year":"2009","unstructured":"Ribeiro, M.M., Wassermann, R.: Base revision for ontology debugging. J. Logic Comput. 19(5), 721\u2013743 (2009)","journal-title":"J. Logic Comput."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Sensoy, M., Fokoue, A., Pan, J.Z., Norman, T., Tang, Y., Oren, N., Sycara, K.: Reasoning about uncertain information and conflict resolution through trust revision. In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2013) (2013)","DOI":"10.1117\/12.2015667"}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06826-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T19:55:08Z","timestamp":1746215708000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06826-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068251","9783319068268"],"references-count":12,"aliases":["10.1007\/978-3-319-14122-0_14"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06826-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}