Pseudo-contractions as Gentle Repairs

Vinícius Bitencourt Matos, Ricardo Ferreira Guimarães, Yuri David Santos, Renata Wassermann

    OnderzoeksoutputAcademicpeer review

    1 Citaat (Scopus)
    22 Downloads (Pure)


    Updating a knowledge base to remove an unwanted consequence is a challenging task. Some of the original sentences must be either deleted or weakened in such a way that the sentence to be removed is no longer entailed by the resulting set. On the other hand, it is desirable that the existing knowledge be preserved as much as possible, minimising the loss of information. Several approaches to this problem can be found in the literature. In particular, when the knowledge is represented by an ontology, two different families of frameworks have been developed in the literature in the past decades with numerous ideas in common but with little interaction between the communities: applications of AGM-like Belief Change and justification-based Ontology Repair. In this paper, we investigate the relationship between pseudo-contraction operations and gentle repairs. Both aim to avoid the complete deletion of sentences when replacing them with weaker versions is enough to prevent the entailment of the unwanted formula. We show the correspondence between concepts on both sides and investigate under which conditions they are equivalent. Furthermore, we propose a unified notation for the two approaches, which might contribute to the integration of the two areas.
    Originele taal-2English
    TitelDescription Logic, Theory Combination, and All That
    SubtitelEssays Dedicated to Franz Baader on the Occasion of His 60th Birthday
    RedacteurenC. Lutz, U. Sattler, C. Tinelli, A.Y. Turhan, F. Wolter
    Aantal pagina's19
    ISBN van elektronische versie978-3-030-22102-7
    ISBN van geprinte versie978-3-030-22101-0
    StatusPublished - 2019

    Citeer dit