Franz Baader, Francesco Kriegel: Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs. KR 2022