2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa C, Hieke W, Turhan A-Y. Counter Model Transformation for Explaining Non-Subsumption in EL. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, eds. 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. Vol 2961. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22.
LibreCat