Optimal Repairs in the Description Logic 𝓔𝓛 Revisited

Research output: Contribution to book/conference proceedings/anthology/report β€Ί Conference contribution β€Ί 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
Title of host publicationProceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20-22, 2023, Dresden, Germany
EditorsSarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, Magdalena Ortiz
Number of pages24
Publication statusPublished - 20 Sept 2023

Publication series

SeriesLecture Notes in Computer Science, Volume 14281

External IDs

ORCID /0000-0002-4049-221X/work/142247985
Scopus 85174520369
ORCID /0000-0003-0219-0330/work/153109421