Towards Model Transformation in Description Logics - Investigating the Case of Transductions. - Willi Hieke; Anni-Yasmin Turhan (FCR@KI, 2020)

Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation. - Willi Hieke; Francesco Kriegel; Adrian Nuradiansyah (Description Logics, 2021)

Counter Model Transformation for Explaining Non-Subsumption in EL. - Christian Alrabbaa; Willi Hieke; Anni-Yasmin Turhan (FCR@KI, 2021)

Explaining Non-Entailment by Model Transformation for the Description Logic EL. - Christian Alrabbaa; Willi Hieke (IJCKG, 2022)

Model Transformation in Description Logics. - Willi Hieke (KI (Workshops), 2022)