Towards Visual Decision Support in Interactive Repair

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Abstract

Whether carefully engineered or automatically learned, ontologies may still contain modeling errors. The problem of repairing Description Logic (DL) ontologies has been extensively studied, with a primary focus on minimizing information loss. A given ontology may have many different repairs that minimize information loss, and thus domain knowledge is needed to find the one that is correct in the given application domain. Consequently, interactive approaches have been proposed that involve users in the repair process, with the aim of reducing the number of user decisions required to obtain a valid repair. These methods usually assume that users are always able to make definitive decisions. However, users may face situations where the semantics of axioms alone are insufficient for them to determine whether an axiom should be retained or removed. In this work, we introduce an interactive repair approach that not only guides users through the exponential space of possible repairs while minimizing the decisions required, but also provides support in cases of uncertainty. Our approach augments the repair process with several decision-support features, including information about important entailments, distance to reachable repairs, and structural differences in the class hierarchy. We have implemented this approach both as a standalone command-line tool and as a web-based interactive visualization prototype that provides analytical capabilities not easily achievable otherwise.

Details

OriginalspracheEnglisch
TitelDL 2026 Description Logics 2026
Redakteure/-innenAlisa Kovtunova, Barış Sertkaya
Seitenumfang14
PublikationsstatusVeröffentlicht - 2026
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR workshop proceedings
Band4230
ISSN1613-0073

Workshop

Titel39th International Workshop on Description Logics
KurztitelDL 2026
Veranstaltungsnummer39
Beschreibungco-located with several events as part of FLoC 2026, including KR 2026 and NMR 2026
Dauer17 - 19 Juli 2026
Webseite
OrtInstituto Universitario de Lisboa (ISCTE-IUL)
StadtLisbon
LandPortugal

Externe IDs

ORCID /0000-0002-4049-221X/work/225491290
ORCID /0000-0002-2176-876X/work/225494175
ORCID /0000-0003-1029-7656/work/225494272

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Decision Support, Explanations, Ontology Repair, Visualization