{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T00:30:47Z","timestamp":1782174647725,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577719","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"983-990","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4049-221X","authenticated-orcid":false,"given":"Franz","family":"Baader","sequence":"first","affiliation":[{"name":"Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany"},{"name":"Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden\/Leipzig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79876-5_18"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06981-9_8"},{"key":"e_1_3_2_1_5_1","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR","author":"Baader Franz","year":"2018","unstructured":"Franz Baader , Francesco Kriegel , Adrian Nuradiansyah , and Rafael Pe\u00f1aloza . 2018. Making Repairs in Description Logics More Gentle . In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018 , Tempe, Arizona , 30 October - 2 November 2018, Michael Thielscher, Francesca Toni, and Frank Wolter (Eds.). AAAI Press , 319--328. https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/18056 Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, and Rafael Pe\u00f1aloza. 2018. Making Repairs in Description Logics More Gentle. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, Michael Thielscher, Francesca Toni, and Frank Wolter (Eds.). AAAI Press, 319--328. https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/18056"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the Third International Conference on Knowledge Representation in Medicine","volume":"410","author":"Baader Franz","year":"2008","unstructured":"Franz Baader and Boontawee Suntisrivaraporn . 2008 . Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ . In Proceedings of the Third International Conference on Knowledge Representation in Medicine , Phoenix, Arizona, USA, May 31st - June 2nd , 2008 (CEUR Workshop Proceedings), Ronald Cornet and Kent A. Spackman (Eds.), Vol. 410 . CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-410\/Paper01.pdf Franz Baader and Boontawee Suntisrivaraporn. 2008. Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. In Proceedings of the Third International Conference on Knowledge Representation in Medicine, Phoenix, Arizona, USA, May 31st - June 2nd, 2008 (CEUR Workshop Proceedings), Ronald Cornet and Kent A. Spackman (Eds.), Vol. 410. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-410\/Paper01.pdf"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661829.2662046"},{"key":"e_1_3_2_1_8_1","volume-title":"ECAI","author":"Falappa Marcelo A.","year":"2006","unstructured":"Marcelo A. Falappa , Eduardo L. Ferm\u00e9 , and Gabriele Kern-Isberner . 2006. On the Logic of Theory Change: Relations Between Incision and Selection Functions . In ECAI 2006 , 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings (Frontiers in Artificial Intelligence and Applications), Gerhard Brewka, Silvia Coradeschi, Anna Perini, and Paolo Traverso (Eds.), Vol. 141 . IOS Press , 402--406. Marcelo A. Falappa, Eduardo L. Ferm\u00e9, and Gabriele Kern-Isberner. 2006. On the Logic of Theory Change: Relations Between Incision and Selection Functions. In ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings (Frontiers in Artificial Intelligence and Applications), Gerhard Brewka, Silvia Coradeschi, Anna Perini, and Paolo Traverso (Eds.), Vol. 141. IOS Press, 402--406."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284974"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526664"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1989.tb00725.x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00413568"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01181682"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01054039"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.2307\/2275912"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88564-1_21"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77688-8_3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22102-7_18"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR","author":"Matos Vin\u00edcius Bitencourt","year":"2022","unstructured":"Vin\u00edcius Bitencourt Matos and Renata Wassermann . 2022. Repairing Ontologies via Kernel Pseudo-Contraction . In Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022 , Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022 (CEUR Workshop Proceedings), Ofer Arieli, Giovanni Casini, and Laura Giordano (Eds.), Vol. 3197 . CEUR-WS. org, 16--26. http:\/\/ceur-ws.org\/Vol-3197\/paper2.pdf Vin\u00edcius Bitencourt Matos and Renata Wassermann. 2022. Repairing Ontologies via Kernel Pseudo-Contraction. In Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022 (CEUR Workshop Proceedings), Ofer Arieli, Giovanni Casini, and Laura Giordano (Eds.), Vol. 3197. CEUR-WS.org, 16--26. http:\/\/ceur-ws.org\/Vol-3197\/paper2.pdf"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060837"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88737-9_7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2018.08.006"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9076-z"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11567"}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","location":"Tallinn Estonia","acronym":"SAC '23","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577719","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:24Z","timestamp":1750183704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577719"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":25,"alternative-id":["10.1145\/3555776.3577719","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577719","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}