Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Extended Abstract)

This is an extended abstract of the following conference article and its accompanying technical report:

Francesco Kriegel: Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes. In: Proceedings of the 45th German Conference on Artificial Intelligence, KI 2022, Virtual in Trier, Germany, September 19–23, 2022. Ed. by Ralph Bergmann, Lukas Malburg, Stephanie C. Rodermund, and Ingo J. Timm. Volume 13404 of Lecture Notes in Computer Science, pp. 115–130, Springer, 2022. DOI: 10.1007/978-3-031-15791-2_11

Francesco Kriegel: Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Extended Version). LTCS-Report 22-04, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, 2022. DOI: 10.25368/2022.321