Optimal Fixed-Premise Repairs of ℰℒ TBoxes

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

Abstract

Reasoners can be used to derive implicit consequences from an ontology. Sometimes unwanted consequences are revealed, indicating errors or privacy-sensitive information, and the ontology needs to be appropriately repaired. The classical approach is to remove just enough axioms such that the unwanted consequences vanish. However, this is often too rough since mere axiom deletion also erases many other consequences that might actually be desired. The goal should not be to remove a minimal number of axioms but to modify the ontology such that only a minimal number of consequences is removed, including the unwanted ones. Specifically, a repair should rather be logically entailed by the input ontology, instead of being a subset. To this end, we introduce a framework for computing fixed-premise repairs of 𝓔𝓛 TBoxes. In the first variant the conclusions must be generalizations of those in the input TBox, while in the second variant no such restriction is imposed. In both variants, every repair is entailed by an optimal one and, up to equivalence, the set of all optimal repairs can be computed in exponential time. A prototypical implementation is provided. In addition, we show new complexity results regarding gentle repairs.

Details

OriginalspracheEnglisch
TitelProceedings of the 45th German Conference on Artificial Intelligence (KI 2022), Virtual in Trier, Germany, September 19-23, 2022
Redakteure/-innenRalph Bergmann, Lukas Malburg, Stephanie C. Rodermund, Ingo J. Timm
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten115-130
Seitenumfang16
PublikationsstatusVeröffentlicht - 19 Sept. 2022
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 13404
ISSN0302-9743

Konferenz

Titel45th German Conference on Artificial Intelligence
KurztitelKI 2022
Veranstaltungsnummer45
Dauer19 - 23 September 2022
Webseite
BekanntheitsgradInternationale Veranstaltung
Ortonline
StadtTrier
LandDeutschland

Externe IDs

Scopus 85138803632
Mendeley 054bcfe7-f83b-3d85-9fb2-a4c55ab75311
ORCID /0000-0003-0219-0330/work/153109417

Schlagworte

Schlagwörter

  • Description logic, Fixed-premise repair, Generalized-conclusion repair, Optimal repair, TBox repair

Bibliotheksschlagworte