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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

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

OriginalspracheEnglisch
TitelProceedings of the ACM Symposium on Applied Computing
Herausgeber (Verlag)Association for Computing Machinery
Seiten983-990
Seitenumfang8
ISBN (elektronisch)9781450395175
PublikationsstatusVeröffentlicht - 27 März 2023
Peer-Review-StatusJa

Externe IDs

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

Schlagworte

Forschungsprofillinien der TU Dresden

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Schlagwörter

  • belief change, description logic, ontology repair