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
| Originalsprache | Englisch |
|---|---|
| Titel | DL 2026 Description Logics 2026 |
| Redakteure/-innen | Alisa Kovtunova, Barış Sertkaya |
| Seitenumfang | 14 |
| Publikationsstatus | Veröffentlicht - 2026 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | CEUR workshop proceedings |
|---|---|
| Band | 4230 |
| ISSN | 1613-0073 |
Workshop
| Titel | 39th International Workshop on Description Logics |
|---|---|
| Kurztitel | DL 2026 |
| Veranstaltungsnummer | 39 |
| Beschreibung | co-located with several events as part of FLoC 2026, including KR 2026 and NMR 2026 |
| Dauer | 17 - 19 Juli 2026 |
| Webseite | |
| Ort | Instituto Universitario de Lisboa (ISCTE-IUL) |
| Stadt | Lisbon |
| Land | Portugal |
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