Optimal Repairs in the Description Logic 𝓔𝓛 Revisited (Extended Version)

Research output: Contribution to conferences β€Ί Paper β€Ί Contributed β€Ί peer-review


Ontologies based on Description Logics may contain errors, which are usually detected when reasoning produces consequences that follow from the ontology, but do not hold in the modelled application domain. In previous work, we have introduced repair approaches for 𝓔𝓛 ontologies that are optimal in the sense that they preserve a maximal amount of consequences. In this paper, we will, on the one hand, review these approaches, but with an emphasis on motivation rather than on technical details. On the other hand, we will describe new results that address the problems that optimal repairs may become very large or need not even exist unless strong restrictions on the terminological part of the ontology apply. We will show how one can deal with these problems by introducing concise representations of optimal repairs.


Original languageEnglish
Publication statusPublished - 20 Sept 2023

External IDs

ORCID /0000-0002-4049-221X/work/142247987
unpaywall 10.25368/2023.121
ORCID /0000-0003-0219-0330/work/153109424