Franz Baader. Relating optimal repairs in ontology engineering with contraction operations in belief change. ACM SIGAPP Appl. Comput. Rev., (23)3:5--18, Association for Computing Machinery (ACM), September 2023. [PUMA: topic_knowledge]