{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T06:22:43Z","timestamp":1791267763567,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642049293","type":"print"},{"value":"9783642049309","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04930-9_33","type":"book-chapter","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T21:39:07Z","timestamp":1257457147000},"page":"521-536","source":"Crossref","is-referenced-by-count":25,"title":["A Conflict-Based Operator for Mapping Revision"],"prefix":"10.1007","author":[{"given":"Guilin","family":"Qi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qiu","family":"Ji","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Haase","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"33_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic EL $^{\\mbox{+}}$ . In: Proc. of KI, pp. 52\u201367 (2007)","DOI":"10.1007\/978-3-540-74565-5_7"},{"key":"33_CR3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"1","author":"A. Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics\u00a01, 153\u2013184 (2003)","journal-title":"Journal of Data Semantics"},{"key":"33_CR4","volume-title":"Ontology Matching","author":"J. Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"33_CR5","volume-title":"Knowledge in Flux-Modeling the Dynamic of Epistemic States","author":"P. Gardenfors","year":"1988","unstructured":"Gardenfors, P.: Knowledge in Flux-Modeling the Dynamic of Epistemic States. The MIT Press, Cambridge (1988)"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the right amount: extracting modules from ontologies. In: Proc. of WWW, pp. 717\u2013726 (2007)","DOI":"10.1145\/1242572.1242669"},{"key":"33_CR7","unstructured":"Haase, P., Qi, G.: An analysis of approaches to resolving inconsistencies in DL-based ontologies. In: Proc. of IWOD, pp. 97\u2013109 (2007)"},{"issue":"6","key":"33_CR8","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S. Ove Hansson","year":"1993","unstructured":"Ove Hansson, S.: Reversing the levi identity. Journal of Philosophical Logic\u00a022(6), 637\u2013669 (1993)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"33_CR9","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"S. Ove Hansson","year":"1994","unstructured":"Ove Hansson, S.: Kernel contraction. Journal Symbolic Logic\u00a059(3), 845\u2013859 (1994)","journal-title":"Journal Symbolic Logic"},{"key":"33_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics: Theory Change and Database Updating","author":"S. Ove Hansson","year":"1999","unstructured":"Ove Hansson, S.: A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"33_CR11","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of IJCAI, pp. 454\u2013459 (2005)"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"Meilicke, C., Stuckenschmidt, H.: Applying logical constraints to ontology matching. In: Proc. of KI, pp. 99\u2013113 (2007)","DOI":"10.1007\/978-3-540-74565-5_10"},{"key":"33_CR13","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Repairing ontology mappings. In: Proc. of AAAI, pp. 1408\u20131413 (2007)"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Reasoning support for mapping revision. Journal of Logic and Computation (2008)","DOI":"10.1093\/logcom\/exn047"},{"key":"33_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-87696-0_11","volume-title":"Knowledge Engineering: Practice and Patterns","author":"C. Meilicke","year":"2008","unstructured":"Meilicke, C., V\u00f6lker, J., Stuckenschmidt, H.: Learning disjointness for debugging mappings between lightweight ontologies. In: Gangemi, A., Euzenat, J. (eds.) EKAW 2008. LNCS (LNAI), vol.\u00a05268, pp. 93\u2013108. Springer, Heidelberg (2008)"},{"key":"33_CR16","unstructured":"Nebel, B.: Base revision operations and schemes: Semantics, representation and complexity. In: Proc. of ECAI, pp. 341\u2013345 (1994)"},{"key":"33_CR17","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: Axiom pinpointing is hard. In: Proc. of DL (2009)"},{"key":"33_CR18","unstructured":"Qi, G.: A semantic approach for iterated revision in possibilistic logic. In: Proc. of AAAI, pp. 523\u2013528 (2008)"},{"key":"33_CR19","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.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 419\u2013434. Springer, Heidelberg (2008)"},{"key":"33_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/978-3-540-75256-1_72","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"G. Qi","year":"2007","unstructured":"Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 828\u2013839. Springer, Heidelberg (2007)"},{"issue":"1","key":"33_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89704-0_1","volume-title":"The Semantic Web","author":"B. Suntisrivaraporn","year":"2008","unstructured":"Suntisrivaraporn, B., Qi, G., Ji, Q., Haase, P.: A modularization-based approach to finding all justifications for OWL DL entailments. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol.\u00a05367, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"33_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11926078_2","volume-title":"The Semantic Web - ISWC 2006","author":"A. Zimmermann","year":"2006","unstructured":"Zimmermann, A., Euzenat, J.: Three semantics for distributed systems and their relations with alignment composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 16\u201329. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04930-9_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:36Z","timestamp":1606185936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04930-9_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049293","9783642049309"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04930-9_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}