Franz Baader, und Francesco Kriegel. Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs (Extended Version). 22-02Dresden, Germany, 2022. [PUMA: topic_knowledge area_methods topic_lifescience]