Counter Model Transformation for Explaining Non-Subsumption in EL. C Alrabbaa, W Hieke, AY Turhan FCR@ KI, 9-22, 2021 | 14 | 2021 |
Repairing EL TBoxes by Means of Countermodels Obtained by Model Transformation. W Hieke, F Kriegel, A Nuradiansyah Description Logics, 2021 | 5 | 2021 |
Towards Model Transformation in Description Logics-Investigating the Case of Transductions. W Hieke, AY Turhan FCR@ KI, 69-82, 2020 | 5 | 2020 |
Explaining non-entailment by model transformation for the description logic EL C Alrabbaa, W Hieke Proceedings of the 11th International Joint Conference on Knowledge Graphs, 1-9, 2022 | 4 | 2022 |
Relevant Parts of Counter Models as Explanations for EL Non-Subsumptions C Alrabbaa, W Hieke, AY Turhan Informal Proc. of the 2nd Workshop on Explainable Logic-Based Knowledge …, 2021 | 1 | 2021 |
Model Transformation in Description Logics W Hieke Doctoral Consortium, 21, 2022 | | 2022 |