{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T22:22:14Z","timestamp":1775082134444,"version":"3.50.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030221010","type":"print"},{"value":"9783030221027","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22102-7_18","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T08:21:26Z","timestamp":1561450886000},"page":"385-403","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Pseudo-contractions as Gentle Repairs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7342-6668","authenticated-orcid":false,"given":"Vin\u00edcius Bitencourt","family":"Matos","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9622-4142","authenticated-orcid":false,"given":"Ricardo","family":"Guimar\u00e3es","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8957-6564","authenticated-orcid":false,"given":"Yuri David","family":"Santos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8065-1433","authenticated-orcid":false,"given":"Renata","family":"Wassermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,1]]},"reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","volume-title":"New Studies in Deontic Logic","author":"CE Alchourr\u00f3n","year":"1981","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) New Studies in Deontic Logic. SYLI, vol. 152, pp. 125\u2013148. Springer, Dordrecht (1981). \n                    https:\/\/doi.org\/10.1007\/978-94-009-8484-4_5"},{"key":"18_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"18_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"key":"18_CR5","unstructured":"Baader, F., Kriegel, F., Nuradiansyah, A., Pe\u00f1aloza, R.: Making repairs in description logics more gentle. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, pp. 319\u2013328 (2018)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-73099-6_4","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 11\u201327. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-73099-6_4"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-319-25159-2_3","volume-title":"Knowledge Science, Engineering and Management","author":"J Du","year":"2015","unstructured":"Du, J., Qi, G.: Tractable computation of representative abox repairs in description logic ontologies. In: Zhang, S., Wirsing, M., Zhang, Z. (eds.) KSEM 2015. LNCS (LNAI), vol. 9403, pp. 28\u201339. Springer, Cham (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-319-25159-2_3"},{"key":"18_CR8","unstructured":"Falappa, M.A., Ferm\u00e9, E.L., Kern-Isberner, G.: On the logic of theory change: Relations between incision and selection functions. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006) Including Prestigious Applications of Intelligent Systems (PAIS 2006), Riva del Garda, Italy, 29 August\u20131 September 2006. Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 402\u2013406. IOS Press (2006)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11574620_18","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"G Flouris","year":"2005","unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to DLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 216\u2013231. Springer, Heidelberg (2005). \n                    https:\/\/doi.org\/10.1007\/11574620_18"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"SO Hansson","year":"1992","unstructured":"Hansson, S.O.: In defense of base contraction. Synthese 91, 239\u2013245 (1992)","journal-title":"Synthese"},{"issue":"4","key":"18_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01181682","volume":"2","author":"SO Hansson","year":"1993","unstructured":"Hansson, S.O.: Changes of disjunctively closed bases. J. Log. Lang. Inf. 2(4), 255\u2013284 (1993). \n                    https:\/\/doi.org\/10.1007\/BF01181682","journal-title":"J. Log. Lang. Inf."},{"issue":"6","key":"18_CR12","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1993","unstructured":"Hansson, S.O.: Reversing the levi identity. J. Philos. Log. 22(6), 637\u2013669 (1993). \n                    https:\/\/doi.org\/10.1007\/BF01054039","journal-title":"J. Philos. Log."},{"issue":"3","key":"18_CR13","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"Sven Ove Hansson","year":"1994","unstructured":"Hansson, S.O.: Kernel contraction. J. Symb. Log. (1994)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"18_CR14","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1014654208944","volume":"70","author":"SO Hansson","year":"2002","unstructured":"Hansson, S.O., Wassermann, R.: Local change. Studia Logica 70(1), 49\u201376 (2002). \n                    https:\/\/doi.org\/10.1023\/A:1014654208944","journal-title":"Studia Logica"},{"key":"18_CR15","unstructured":"Horridge, M.: Justification based explanation in ontologies. Ph.D. thesis, University of Manchester (2011)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-642-02121-3_71","volume-title":"The Semantic Web: Research and Applications","author":"Q Ji","year":"2009","unstructured":"Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtm\u00fcller, S.: RaDON\u2014repair and diagnosis in ontology networks. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 863\u2013867. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-02121-3_71"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-10871-6_21","volume-title":"The Semantic Web","author":"Q Ji","year":"2009","unstructured":"Ji, Q., Qi, G., Haase, P.: A relevance-directed algorithm for finding justifications of DL entailments. In: G\u00f3mez-P\u00e9rez, A., Yu, Y., Ding, Y. (eds.) ASWC 2009. LNCS, vol. 5926, pp. 306\u2013320. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-10871-6_21"},{"key":"18_CR18","unstructured":"Kalyanpur, A.: Debugging and repair of OWL ontologies. Ph.D. thesis, University of Maryland at College Park, College Park, MD, USA (2006)"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., et al. (eds.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 267\u2013280. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-76298-0_20"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-15918-3_9","volume-title":"Web Reasoning and Rule Systems","author":"D Lembo","year":"2010","unstructured":"Lembo, D., Lenzerini, M., Rosati, R., Ruzzi, M., Savo, D.F.: Inconsistency-tolerant semantics for description logics. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 103\u2013117. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-15918-3_9"},{"key":"18_CR21","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 - algorithms and evaluation. In: Sheth, A., et al. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 419\u2013434. Springer, Heidelberg (2008). \n                    https:\/\/doi.org\/10.1007\/978-3-540-88564-1_27"},{"issue":"1","key":"18_CR22","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. Artif. Intell. 32(1), 57\u201395 (1987). \n                    https:\/\/doi.org\/10.1016\/0004-3702(87)90062-2","journal-title":"Artif. Intell."},{"issue":"5","key":"18_CR23","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. Log. Comput. 19(5), 721\u2013743 (2009). \n                    https:\/\/doi.org\/10.1093\/logcom\/exn048","journal-title":"J. Log. Comput."},{"key":"18_CR24","unstructured":"Ribeiro, M.M., Wassermann, R.: Degrees of recovery and inclusion in belief base dynamics. In: 12th International Workshop on Non-Monotonic Reasoning (NMR 2008) (2008)"},{"key":"18_CR25","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.ijar.2018.08.006","volume":"103","author":"YD Santos","year":"2018","unstructured":"Santos, Y.D., Matos, V.B., Ribeiro, M.M., Wassermann, R.: Partial meet pseudo-contractions. Int. J. Approx. Reason. 103, 11\u201327 (2018). \n                    https:\/\/doi.org\/10.1016\/j.ijar.2018.08.006","journal-title":"Int. J. Approx. Reason."},{"key":"18_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11431053_16","volume-title":"The Semantic Web: Research and Applications","author":"S Schlobach","year":"2005","unstructured":"Schlobach, S.: Debugging and semantic clarification by pinpointing. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 226\u2013240. Springer, Heidelberg (2005). \n                    https:\/\/doi.org\/10.1007\/11431053_16"},{"key":"18_CR27","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, 9\u201315 August 2003, pp. 355\u2013362. Morgan Kaufmann (2003)"},{"key":"18_CR28","unstructured":"Wassermann, R.: An algorithm for belief revision. In: Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, KR 2000, Breckenridge, Colorado, USA, 11\u201315 April 2000, pp. 345\u2013352 (2000)"},{"issue":"2","key":"18_CR29","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10992-011-9178-2","volume":"40","author":"R Wassermann","year":"2011","unstructured":"Wassermann, R.: On AGM for non-classical logics. J. Philos. Log. 40(2), 271\u2013294 (2011). \n                    https:\/\/doi.org\/10.1007\/s10992-011-9178-2","journal-title":"J. Philos. Log."}],"container-title":["Lecture Notes in Computer Science","Description Logic, Theory Combination, and All That"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22102-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T08:25:03Z","timestamp":1561451103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22102-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030221010","9783030221027"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22102-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}