Towards Visual Decision Support in Interactive Repair

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

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

Original languageEnglish
Title of host publicationDL 2026 Description Logics 2026
EditorsAlisa Kovtunova, Barış Sertkaya
Number of pages14
Publication statusPublished - 2026
Peer-reviewedYes

Publication series

SeriesCEUR workshop proceedings
Volume4230
ISSN1613-0073

Workshop

Title39th International Workshop on Description Logics
Abbreviated titleDL 2026
Conference number39
Descriptionco-located with several events as part of FLoC 2026, including KR 2026 and NMR 2026
Duration17 - 19 July 2026
Website
LocationInstituto Universitario de Lisboa (ISCTE-IUL)
CityLisbon
CountryPortugal

External IDs

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

Keywords

ASJC Scopus subject areas

Keywords

  • Decision Support, Explanations, Ontology Repair, Visualization