{"author":[{"full_name":"Alrabbaa, Christian","last_name":"Alrabbaa","first_name":"Christian"},{"full_name":"Hieke, Willi","last_name":"Hieke","first_name":"Willi"},{"id":"104470","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"}],"year":"2021","user_id":"9503","_id":"52928","status":"public","date_created":"2024-03-26T10:55:22Z","department":[{"_id":"888"}],"citation":{"chicago":"Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model Transformation for Explaining Non-Subsumption in EL.” In <i>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</i>, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.","mla":"Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption in EL.” <i>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</i>, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021, pp. 9–22.","apa":"Alrabbaa, C., Hieke, W., &#38; Turhan, A.-Y. (2021). Counter Model Transformation for Explaining Non-Subsumption in EL. In C. Beierle, M. Ragni, F. Stolzenburg, &#38; M. Thimm (Eds.), <i>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</i> (Vol. 2961, pp. 9–22). CEUR-WS.org.","short":"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.","ieee":"C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for Explaining Non-Subsumption in EL,” in <i>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</i>, 2021, vol. 2961, pp. 9–22.","bibtex":"@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} }","ama":"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. <i>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</i>. Vol 2961. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22."},"publisher":"CEUR-WS.org","volume":2961,"type":"conference","date_updated":"2024-03-26T10:56:04Z","page":"9–22","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"intvolume":"      2961","publication":"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","editor":[{"first_name":"Christoph","full_name":"Beierle, Christoph","last_name":"Beierle"},{"first_name":"Marco","last_name":"Ragni","full_name":"Ragni, Marco"},{"full_name":"Stolzenburg, Frieder","last_name":"Stolzenburg","first_name":"Frieder"},{"last_name":"Thimm","full_name":"Thimm, Matthias","first_name":"Matthias"}],"title":"Counter Model Transformation for Explaining Non-Subsumption in EL"}