Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan. Counter Model Transformation for Explaining Non-Subsumption in EL. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021. Volume 2961 of CEUR Workshop Proceedings, pages 9-22, CEUR-WS.org, 2021. [doi]
Abstract is missing.