Bridging Belief Change and Ontology Repair

Belief Change explores methods to handle potential changes in the beliefs of an agent. The Alchourrón, Gärdenfors, and Makinson model describes three change operations, expansion, revision, and contraction, which serve as the foundation for revision models. On the other hand, Ontology Repair searches for methods to change an ontology so that it does not have unwanted consequences. Recent works established connections between the two fields of Belief Change and Ontology Repair. In this paper, we analyze specific methods for building optimal repairs and compare them to a specific belief change operator, namely, partial meet pseudo-contraction. In addition, we present an implementation that makes pseudo-contraction closer to optimal repairs.