Counter Model Transformation for Explaining Non-Subsumption in EL
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (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, CEUR-WS.org, 2021, pp. 9–22.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Alrabbaa, Christian;
Hieke, Willi;
Turhan, Anni-YasminLibreCat
Editor
Beierle, Christoph;
Ragni, Marco;
Stolzenburg, Frieder;
Thimm, Matthias
Department
Publishing Year
Proceedings Title
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
forms.conference.field.series_title_volume.label
CEUR Workshop Proceedings
Volume
2961
Page
9–22
LibreCat-ID
Cite this
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.
Alrabbaa, C., Hieke, W., & Turhan, A.-Y. (2021). Counter Model Transformation for Explaining Non-Subsumption in EL. In C. Beierle, M. Ragni, F. Stolzenburg, & M. Thimm (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, pp. 9–22). CEUR-WS.org.
@inproceedings{Alrabbaa_Hieke_Turhan_2021, series={CEUR Workshop Proceedings}, title={Counter Model Transformation for Explaining Non-Subsumption in EL}, volume={2961}, booktitle={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}, publisher={CEUR-WS.org}, author={Alrabbaa, Christian and Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2021}, pages={9–22}, collection={CEUR Workshop Proceedings} }
Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model Transformation for Explaining Non-Subsumption in EL.” In 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, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.
C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for Explaining Non-Subsumption in EL,” in 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, 2021, vol. 2961, pp. 9–22.
Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption in EL.” 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, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021, pp. 9–22.
Google Scholar