Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributedpeer-review

Contributors

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 knowledge 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.

Details

Original languageEnglish
Title of host publicationProceedings of the ACM Symposium on Applied Computing
PublisherAssociation for Computing Machinery
Pages983-990
Number of pages8
ISBN (electronic)9781450395175
Publication statusPublished - 27 Mar 2023
Peer-reviewedYes

External IDs

Scopus 85162885524
Mendeley 17178686-8cdd-3dde-8592-e52149e89e1f
ORCID /0000-0002-4049-221X/work/142247972

Keywords

Research priority areas of TU Dresden

Subject groups, research areas, subject areas according to Destatis

Keywords

  • belief change, description logic, ontology repair