Counter Model Transformation for Explaining Non-Subsumption in EL.

Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan

Browse the full KI paper archive.