Pushing Optimal ABox Repair from ℰℒ Towards More Expressive Horn-DLs. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 -- August 5, 2022, 22--32, 2022. [PUMA: topic_knowledge Xack]