%0 Journal Article %1 Baader2023-ki %A Baader, Franz %D 2023 %I Association for Computing Machinery (ACM) %J ACM SIGAPP Appl. Comput. Rev. %K %N 3 %P 5--18 %T Relating optimal repairs in ontology engineering with contraction operations in belief change %V 23 %X The question of how a given knowledge base can be modified such that certain unwanted consequences are removed has been investigated in the area of ontology engineering under the name of repair and in the area of belief change under the name of contraction. Whereas in the former area the emphasis was more on designing and implementing concrete repair algorithms, the latter area concentrated on characterizing classes of contraction operations by certain postulates they satisfy. In the classical setting, repairs and contractions are subsets of the knowledge base that no longer have the unwanted consequence. This makes these approaches syntax-dependent and may result in removal of more consequences than necessary. To alleviate this problem, gentle repairs and pseudo-constractions have been introduced in the respective research areas, and their connections have been investigated in recent work. Optimal repairs preserve a maximal amount of consequences, but they may not always exist. We show that, if they exist, then they can be obtained by certain pseudo-contraction operations, and thus they comply with the postulates that these operations satisfy. Conversely, under certain conditions, pseudo-contractions are guaranteed to produce optimal repairs. Recently, contraction operations have also been defined for concepts rather than for whole knowledge bases. We show that there is again a close connection between such operations and optimal repairs of a restricted form of knowledge bases.

@article{Baader2023-ki, abstract = {The question of how a given knowledge base can be modified such that certain unwanted consequences are removed has been investigated in the area of ontology engineering under the name of repair and in the area of belief change under the name of contraction. Whereas in the former area the emphasis was more on designing and implementing concrete repair algorithms, the latter area concentrated on characterizing classes of contraction operations by certain postulates they satisfy. In the classical setting, repairs and contractions are subsets of the knowledge base that no longer have the unwanted consequence. This makes these approaches syntax-dependent and may result in removal of more consequences than necessary. To alleviate this problem, gentle repairs and pseudo-constractions have been introduced in the respective research areas, and their connections have been investigated in recent work. Optimal repairs preserve a maximal amount of consequences, but they may not always exist. We show that, if they exist, then they can be obtained by certain pseudo-contraction operations, and thus they comply with the postulates that these operations satisfy. Conversely, under certain conditions, pseudo-contractions are guaranteed to produce optimal repairs. Recently, contraction operations have also been defined for concepts rather than for whole knowledge bases. We show that there is again a close connection between such operations and optimal repairs of a restricted form of knowledge bases.}, added-at = {2024-09-10T10:41:24.000+0200}, author = {Baader, Franz}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/27c3a410254a83696cae3d585ca610225/scadsfct}, interhash = {28e2303eba5bc6703260d67fe96515d8}, intrahash = {7c3a410254a83696cae3d585ca610225}, journal = {ACM SIGAPP Appl. Comput. Rev.}, keywords = {}, language = {en}, month = sep, number = 3, pages = {5--18}, publisher = {Association for Computing Machinery (ACM)}, timestamp = {2024-09-10T10:47:32.000+0200}, title = {Relating optimal repairs in ontology engineering with contraction operations in belief change}, volume = 23, year = 2023 }