[{"title":"User-aware Explications of Ontology Consequences: Levelling Technicality","publisher":"CEUR-WS.org","date_updated":"2024-10-14T08:04:50Z","author":[{"full_name":"Peñaloza, Rafael","last_name":"Peñaloza","first_name":"Rafael"},{"first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin"}],"date_created":"2024-03-26T10:53:53Z","volume":3242,"year":"2022","citation":{"apa":"Peñaloza, R., &#38; Turhan, A.-Y. (2022). User-aware Explications of Ontology Consequences: Levelling Technicality. In C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, &#38; M. Thimm (Eds.), <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i> (Vol. 3242, pp. 90–101). CEUR-WS.org.","mla":"Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>, edited by Christoph Beierle et al., vol. 3242, CEUR-WS.org, 2022, pp. 90–101.","short":"R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.","bibtex":"@inproceedings{Peñaloza_Turhan_2022, series={CEUR Workshop Proceedings}, title={User-aware Explications of Ontology Consequences: Levelling Technicality}, volume={3242}, booktitle={Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Sauerwald, Kai and Thimm, Matthias}, year={2022}, pages={90–101}, collection={CEUR Workshop Proceedings} }","ama":"Peñaloza R, Turhan A-Y. User-aware Explications of Ontology Consequences: Levelling Technicality. In: Beierle C, Ragni M, Stolzenburg F, Sauerwald K, Thimm M, eds. <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>. Vol 3242. CEUR Workshop Proceedings. CEUR-WS.org; 2022:90–101.","chicago":"Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” In <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, and Matthias Thimm, 3242:90–101. CEUR Workshop Proceedings. CEUR-WS.org, 2022.","ieee":"R. Peñaloza and A.-Y. Turhan, “User-aware Explications of Ontology Consequences: Levelling Technicality,” in <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>, 2022, vol. 3242, pp. 90–101."},"intvolume":"      3242","page":"90–101","language":[{"iso":"eng"}],"_id":"52922","user_id":"15504","series_title":"CEUR Workshop Proceedings","department":[{"_id":"888"}],"editor":[{"first_name":"Christoph","last_name":"Beierle","full_name":"Beierle, Christoph"},{"first_name":"Marco","last_name":"Ragni","full_name":"Ragni, Marco"},{"full_name":"Stolzenburg, Frieder","last_name":"Stolzenburg","first_name":"Frieder"},{"first_name":"Kai","last_name":"Sauerwald","full_name":"Sauerwald, Kai"},{"full_name":"Thimm, Matthias","last_name":"Thimm","first_name":"Matthias"}],"status":"public","type":"conference","publication":"Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022"},{"_id":"52927","department":[{"_id":"888"}],"user_id":"9503","language":[{"iso":"eng"}],"publication":"Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021","type":"conference","status":"public","date_updated":"2024-03-26T10:56:06Z","publisher":"AAAI Press","author":[{"full_name":"Gil, Oliver Fernández","last_name":"Gil","first_name":"Oliver Fernández"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"}],"date_created":"2024-03-26T10:55:06Z","title":"Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics","doi":"10.1609/AAAI.V35I7.16787","year":"2021","page":"6340–6348","citation":{"apa":"Gil, O. F., &#38; Turhan, A.-Y. (2021). Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, 6340–6348. <a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">https://doi.org/10.1609/AAAI.V35I7.16787</a>","short":"O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.","mla":"Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, AAAI Press, 2021, pp. 6340–6348, doi:<a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>.","bibtex":"@inproceedings{Gil_Turhan_2021, title={Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics}, DOI={<a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>}, booktitle={Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}, publisher={AAAI Press}, author={Gil, Oliver Fernández and Turhan, Anni-Yasmin}, year={2021}, pages={6340–6348} }","ama":"Gil OF, Turhan A-Y. Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. In: <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>. AAAI Press; 2021:6340–6348. doi:<a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>","ieee":"O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics,” in <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, 2021, pp. 6340–6348, doi: <a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>.","chicago":"Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” In <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, 6340–6348. AAAI Press, 2021. <a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">https://doi.org/10.1609/AAAI.V35I7.16787</a>."}},{"date_created":"2024-03-26T10:54:48Z","author":[{"full_name":"Dubslaff, Clemens","last_name":"Dubslaff","first_name":"Clemens"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"}],"volume":33,"date_updated":"2024-03-26T10:56:09Z","doi":"10.1007/S00165-021-00549-0","title":"Enhancing Probabilistic Model Checking with Ontologies","issue":"6","citation":{"short":"C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.","bibtex":"@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic Model Checking with Ontologies}, volume={33}, DOI={<a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>}, number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} }","mla":"Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” <i>Formal Aspects Comput.</i>, vol. 33, no. 6, 2021, pp. 885–921, doi:<a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>.","apa":"Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2021). Enhancing Probabilistic Model Checking with Ontologies. <i>Formal Aspects Comput.</i>, <i>33</i>(6), 885–921. <a href=\"https://doi.org/10.1007/S00165-021-00549-0\">https://doi.org/10.1007/S00165-021-00549-0</a>","ieee":"C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” <i>Formal Aspects Comput.</i>, vol. 33, no. 6, pp. 885–921, 2021, doi: <a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>.","chicago":"Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” <i>Formal Aspects Comput.</i> 33, no. 6 (2021): 885–921. <a href=\"https://doi.org/10.1007/S00165-021-00549-0\">https://doi.org/10.1007/S00165-021-00549-0</a>.","ama":"Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. <i>Formal Aspects Comput</i>. 2021;33(6):885–921. doi:<a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>"},"intvolume":"        33","page":"885–921","year":"2021","user_id":"9503","department":[{"_id":"888"}],"_id":"52926","language":[{"iso":"eng"}],"type":"journal_article","publication":"Formal Aspects Comput.","status":"public"},{"date_created":"2024-03-26T10:55:22Z","author":[{"last_name":"Alrabbaa","full_name":"Alrabbaa, Christian","first_name":"Christian"},{"last_name":"Hieke","full_name":"Hieke, Willi","first_name":"Willi"},{"first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin"}],"volume":2961,"date_updated":"2024-10-14T08:05:31Z","publisher":"CEUR-WS.org","title":"Counter Model Transformation for Explaining Non-Subsumption in EL","citation":{"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.","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.","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.","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.","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.","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.","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} }"},"intvolume":"      2961","page":"9–22","year":"2021","series_title":"CEUR Workshop Proceedings","user_id":"15504","department":[{"_id":"888"}],"_id":"52928","language":[{"iso":"eng"}],"type":"conference","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","status":"public","editor":[{"last_name":"Beierle","full_name":"Beierle, Christoph","first_name":"Christoph"},{"full_name":"Ragni, Marco","last_name":"Ragni","first_name":"Marco"},{"last_name":"Stolzenburg","full_name":"Stolzenburg, Frieder","first_name":"Frieder"},{"last_name":"Thimm","full_name":"Thimm, Matthias","first_name":"Matthias"}]},{"year":"2020","citation":{"bibtex":"@article{Baader_Borgwardt_Koopmann_Thost_Turhan_2020, title={Semantic Technologies for Situation Awareness}, volume={34}, DOI={<a href=\"https://doi.org/10.1007/S13218-020-00694-3\">10.1007/S13218-020-00694-3</a>}, number={4}, journal={Künstliche Intell.}, author={Baader, Franz and Borgwardt, Stefan and Koopmann, Patrick and Thost, Veronika and Turhan, Anni-Yasmin}, year={2020}, pages={543–550} }","mla":"Baader, Franz, et al. “Semantic Technologies for Situation Awareness.” <i>Künstliche Intell.</i>, vol. 34, no. 4, 2020, pp. 543–550, doi:<a href=\"https://doi.org/10.1007/S13218-020-00694-3\">10.1007/S13218-020-00694-3</a>.","short":"F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche Intell. 34 (2020) 543–550.","apa":"Baader, F., Borgwardt, S., Koopmann, P., Thost, V., &#38; Turhan, A.-Y. (2020). Semantic Technologies for Situation Awareness. <i>Künstliche Intell.</i>, <i>34</i>(4), 543–550. <a href=\"https://doi.org/10.1007/S13218-020-00694-3\">https://doi.org/10.1007/S13218-020-00694-3</a>","ieee":"F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A.-Y. Turhan, “Semantic Technologies for Situation Awareness,” <i>Künstliche Intell.</i>, vol. 34, no. 4, pp. 543–550, 2020, doi: <a href=\"https://doi.org/10.1007/S13218-020-00694-3\">10.1007/S13218-020-00694-3</a>.","chicago":"Baader, Franz, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and Anni-Yasmin Turhan. “Semantic Technologies for Situation Awareness.” <i>Künstliche Intell.</i> 34, no. 4 (2020): 543–550. <a href=\"https://doi.org/10.1007/S13218-020-00694-3\">https://doi.org/10.1007/S13218-020-00694-3</a>.","ama":"Baader F, Borgwardt S, Koopmann P, Thost V, Turhan A-Y. Semantic Technologies for Situation Awareness. <i>Künstliche Intell</i>. 2020;34(4):543–550. doi:<a href=\"https://doi.org/10.1007/S13218-020-00694-3\">10.1007/S13218-020-00694-3</a>"},"intvolume":"        34","page":"543–550","issue":"4","title":"Semantic Technologies for Situation Awareness","doi":"10.1007/S13218-020-00694-3","date_updated":"2024-03-26T10:56:01Z","author":[{"first_name":"Franz","full_name":"Baader, Franz","last_name":"Baader"},{"first_name":"Stefan","last_name":"Borgwardt","full_name":"Borgwardt, Stefan"},{"first_name":"Patrick","last_name":"Koopmann","full_name":"Koopmann, Patrick"},{"last_name":"Thost","full_name":"Thost, Veronika","first_name":"Veronika"},{"last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470","first_name":"Anni-Yasmin"}],"date_created":"2024-03-26T10:55:50Z","volume":34,"status":"public","type":"journal_article","publication":"Künstliche Intell.","language":[{"iso":"eng"}],"_id":"52930","user_id":"9503","department":[{"_id":"888"}]},{"title":"Towards Model Transformation in Description Logics - Investigating the Case of Transductions","volume":2680,"date_created":"2024-10-10T12:21:18Z","author":[{"first_name":"Willi","full_name":"Hieke, Willi","last_name":"Hieke"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470","last_name":"Turhan"}],"publisher":"CEUR-WS.org","date_updated":"2024-10-10T12:21:54Z","page":"69–82","intvolume":"      2680","citation":{"ama":"Hieke W, Turhan A-Y. Towards Model Transformation in Description Logics - Investigating the Case of Transductions. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, eds. <i>Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020</i>. Vol 2680. CEUR Workshop Proceedings. CEUR-WS.org; 2020:69–82.","chicago":"Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description Logics - Investigating the Case of Transductions.” In <i>Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020</i>, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2680:69–82. CEUR Workshop Proceedings. CEUR-WS.org, 2020.","ieee":"W. Hieke and A.-Y. Turhan, “Towards Model Transformation in Description Logics - Investigating the Case of Transductions,” in <i>Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020</i>, 2020, vol. 2680, pp. 69–82.","bibtex":"@inproceedings{Hieke_Turhan_2020, series={CEUR Workshop Proceedings}, title={Towards Model Transformation in Description Logics - Investigating the Case of Transductions}, volume={2680}, booktitle={Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020}, publisher={CEUR-WS.org}, author={Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2020}, pages={69–82}, collection={CEUR Workshop Proceedings} }","short":"W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020, CEUR-WS.org, 2020, pp. 69–82.","mla":"Hieke, Willi, and Anni-Yasmin Turhan. “Towards Model Transformation in Description Logics - Investigating the Case of Transductions.” <i>Proceedings of the 6th Workshop on Formal and Cognitive Reasoning Co-Located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020</i>, edited by Christoph Beierle et al., vol. 2680, CEUR-WS.org, 2020, pp. 69–82.","apa":"Hieke, W., &#38; Turhan, A.-Y. (2020). Towards Model Transformation in Description Logics - Investigating the Case of Transductions. In C. Beierle, M. Ragni, F. Stolzenburg, &#38; M. Thimm (Eds.), <i>Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020</i> (Vol. 2680, pp. 69–82). CEUR-WS.org."},"year":"2020","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","user_id":"15504","_id":"56490","status":"public","editor":[{"last_name":"Beierle","full_name":"Beierle, Christoph","first_name":"Christoph"},{"first_name":"Marco","last_name":"Ragni","full_name":"Ragni, Marco"},{"first_name":"Frieder","full_name":"Stolzenburg, Frieder","last_name":"Stolzenburg"},{"first_name":"Matthias","last_name":"Thimm","full_name":"Thimm, Matthias"}],"publication":"Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), Online / Bamberg, Germany, September 22, 2020","type":"conference"},{"citation":{"ama":"Dubslaff C, Koopmann P, Turhan A-Y. Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In: Borgwardt S, Meyer T, eds. <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>. Vol 2663. CEUR Workshop Proceedings. CEUR-WS.org; 2020.","chicago":"Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” In <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.","ieee":"C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification,” in <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, 2020, vol. 2663.","mla":"Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.","short":"C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.","bibtex":"@inproceedings{Dubslaff_Koopmann_Turhan_2020, series={CEUR Workshop Proceedings}, title={Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification}, volume={2663}, booktitle={Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, publisher={CEUR-WS.org}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }","apa":"Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2020). Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In S. Borgwardt &#38; T. Meyer (Eds.), <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i> (Vol. 2663). CEUR-WS.org."},"intvolume":"      2663","year":"2020","title":"Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification","date_created":"2024-03-26T11:22:26Z","author":[{"last_name":"Dubslaff","full_name":"Dubslaff, Clemens","first_name":"Clemens"},{"first_name":"Patrick","last_name":"Koopmann","full_name":"Koopmann, Patrick"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}],"volume":2663,"date_updated":"2024-10-14T08:06:21Z","publisher":"CEUR-WS.org","status":"public","editor":[{"last_name":"Borgwardt","full_name":"Borgwardt, Stefan","first_name":"Stefan"},{"full_name":"Meyer, Thomas","last_name":"Meyer","first_name":"Thomas"}],"type":"conference","publication":"Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020","language":[{"iso":"eng"}],"user_id":"15504","series_title":"CEUR Workshop Proceedings","department":[{"_id":"888"}],"_id":"52936"},{"year":"2020","intvolume":"      2663","citation":{"apa":"Gil, O. F., &#38; Turhan, A.-Y. (2020). Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). In S. Borgwardt &#38; T. Meyer (Eds.), <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i> (Vol. 2663). CEUR-WS.org.","mla":"Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).” <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.","short":"O.F. Gil, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.","bibtex":"@inproceedings{Gil_Turhan_2020, series={CEUR Workshop Proceedings}, title={Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)}, volume={2663}, booktitle={Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, publisher={CEUR-WS.org}, author={Gil, Oliver Fernández and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }","ieee":"O. F. Gil and A.-Y. Turhan, “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract),” in <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, 2020, vol. 2663.","chicago":"Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract).” In <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, edited by Stefan Borgwardt and Thomas Meyer, Vol. 2663. CEUR Workshop Proceedings. CEUR-WS.org, 2020.","ama":"Gil OF, Turhan A-Y. Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract). In: Borgwardt S, Meyer T, eds. <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>. Vol 2663. CEUR Workshop Proceedings. CEUR-WS.org; 2020."},"publisher":"CEUR-WS.org","date_updated":"2024-10-14T08:06:57Z","volume":2663,"author":[{"first_name":"Oliver Fernández","last_name":"Gil","full_name":"Gil, Oliver Fernández"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470","last_name":"Turhan"}],"date_created":"2024-10-10T12:19:43Z","title":"Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)","publication":"Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020","type":"conference","editor":[{"full_name":"Borgwardt, Stefan","last_name":"Borgwardt","first_name":"Stefan"},{"first_name":"Thomas","last_name":"Meyer","full_name":"Meyer, Thomas"}],"status":"public","_id":"56489","series_title":"CEUR Workshop Proceedings","user_id":"15504","language":[{"iso":"eng"}]},{"author":[{"full_name":"Bourgaux, Camille","last_name":"Bourgaux","first_name":"Camille"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"date_created":"2024-10-10T12:22:53Z","volume":10,"date_updated":"2024-10-10T12:23:22Z","doi":"10.3233/SW-180337","title":"Ontology-mediated query answering over temporal and inconsistent data","issue":"3","citation":{"bibtex":"@article{Bourgaux_Koopmann_Turhan_2019, title={Ontology-mediated query answering over temporal and inconsistent data}, volume={10}, DOI={<a href=\"https://doi.org/10.3233/SW-180337\">10.3233/SW-180337</a>}, number={3}, journal={Semantic Web}, author={Bourgaux, Camille and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2019}, pages={475–521} }","short":"C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.","mla":"Bourgaux, Camille, et al. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” <i>Semantic Web</i>, vol. 10, no. 3, 2019, pp. 475–521, doi:<a href=\"https://doi.org/10.3233/SW-180337\">10.3233/SW-180337</a>.","apa":"Bourgaux, C., Koopmann, P., &#38; Turhan, A.-Y. (2019). Ontology-mediated query answering over temporal and inconsistent data. <i>Semantic Web</i>, <i>10</i>(3), 475–521. <a href=\"https://doi.org/10.3233/SW-180337\">https://doi.org/10.3233/SW-180337</a>","ieee":"C. Bourgaux, P. Koopmann, and A.-Y. Turhan, “Ontology-mediated query answering over temporal and inconsistent data,” <i>Semantic Web</i>, vol. 10, no. 3, pp. 475–521, 2019, doi: <a href=\"https://doi.org/10.3233/SW-180337\">10.3233/SW-180337</a>.","chicago":"Bourgaux, Camille, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” <i>Semantic Web</i> 10, no. 3 (2019): 475–521. <a href=\"https://doi.org/10.3233/SW-180337\">https://doi.org/10.3233/SW-180337</a>.","ama":"Bourgaux C, Koopmann P, Turhan A-Y. Ontology-mediated query answering over temporal and inconsistent data. <i>Semantic Web</i>. 2019;10(3):475–521. doi:<a href=\"https://doi.org/10.3233/SW-180337\">10.3233/SW-180337</a>"},"page":"475–521","intvolume":"        10","year":"2019","user_id":"15504","_id":"56491","language":[{"iso":"eng"}],"type":"journal_article","publication":"Semantic Web","status":"public"},{"publication":"Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","type":"conference","editor":[{"full_name":"Lutz, Carsten","last_name":"Lutz","first_name":"Carsten"},{"first_name":"Uli","full_name":"Sattler, Uli","last_name":"Sattler"},{"full_name":"Tinelli, Cesare","last_name":"Tinelli","first_name":"Cesare"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"},{"first_name":"Frank","last_name":"Wolter","full_name":"Wolter, Frank"}],"status":"public","_id":"56493","user_id":"15504","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"year":"2019","intvolume":"     11560","page":"1–14","citation":{"short":"C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, in: C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter (Eds.), Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer, 2019, pp. 1–14.","mla":"Lutz, Carsten, et al. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, edited by Carsten Lutz et al., vol. 11560, Springer, 2019, pp. 1–14, doi:<a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>.","bibtex":"@inproceedings{Lutz_Sattler_Tinelli_Turhan_Wolter_2019, series={Lecture Notes in Computer Science}, title={A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction}, volume={11560}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>}, booktitle={Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, publisher={Springer}, author={Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, editor={Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, year={2019}, pages={1–14}, collection={Lecture Notes in Computer Science} }","apa":"Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., &#38; Wolter, F. (2019). A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, &#38; F. Wolter (Eds.), <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i> (Vol. 11560, pp. 1–14). Springer. <a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">https://doi.org/10.1007/978-3-030-22102-7_1</a>","ieee":"C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction,” in <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, 2019, vol. 11560, pp. 1–14, doi: <a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>.","chicago":"Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter. “A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction.” In <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, edited by Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, 11560:1–14. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">https://doi.org/10.1007/978-3-030-22102-7_1</a>.","ama":"Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F. A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In: Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>. Vol 11560. Lecture Notes in Computer Science. Springer; 2019:1–14. doi:<a href=\"https://doi.org/10.1007/978-3-030-22102-7_1\">10.1007/978-3-030-22102-7_1</a>"},"date_updated":"2024-10-10T12:25:41Z","publisher":"Springer","volume":11560,"date_created":"2024-10-10T12:25:17Z","author":[{"last_name":"Lutz","full_name":"Lutz, Carsten","first_name":"Carsten"},{"last_name":"Sattler","full_name":"Sattler, Uli","first_name":"Uli"},{"last_name":"Tinelli","full_name":"Tinelli, Cesare","first_name":"Cesare"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"first_name":"Frank","full_name":"Wolter, Frank","last_name":"Wolter"}],"title":"A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction","doi":"10.1007/978-3-030-22102-7_1"},{"author":[{"first_name":"Clemens","last_name":"Dubslaff","full_name":"Dubslaff, Clemens"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"date_created":"2024-10-10T12:27:40Z","volume":11918,"date_updated":"2024-10-10T12:28:01Z","publisher":"Springer","doi":"10.1007/978-3-030-34968-4_11","title":"Ontology-Mediated Probabilistic Model Checking","citation":{"bibtex":"@inproceedings{Dubslaff_Koopmann_Turhan_2019, series={Lecture Notes in Computer Science}, title={Ontology-Mediated Probabilistic Model Checking}, volume={11918}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">10.1007/978-3-030-34968-4_11</a>}, booktitle={Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings}, publisher={Springer}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia}, year={2019}, pages={194–211}, collection={Lecture Notes in Computer Science} }","mla":"Dubslaff, Clemens, et al. “Ontology-Mediated Probabilistic Model Checking.” <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, vol. 11918, Springer, 2019, pp. 194–211, doi:<a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">10.1007/978-3-030-34968-4_11</a>.","short":"C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: W. Ahrendt, S.L.T. Tarifa (Eds.), Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, Springer, 2019, pp. 194–211.","apa":"Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2019). Ontology-Mediated Probabilistic Model Checking. In W. Ahrendt &#38; S. L. T. Tarifa (Eds.), <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i> (Vol. 11918, pp. 194–211). Springer. <a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">https://doi.org/10.1007/978-3-030-34968-4_11</a>","ama":"Dubslaff C, Koopmann P, Turhan A-Y. Ontology-Mediated Probabilistic Model Checking. In: Ahrendt W, Tarifa SLT, eds. <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>. Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:<a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">10.1007/978-3-030-34968-4_11</a>","ieee":"C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic Model Checking,” in <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>, 2019, vol. 11918, pp. 194–211, doi: <a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">10.1007/978-3-030-34968-4_11</a>.","chicago":"Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Probabilistic Model Checking.” In <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>, edited by Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa, 11918:194–211. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">https://doi.org/10.1007/978-3-030-34968-4_11</a>."},"page":"194–211","intvolume":"     11918","year":"2019","series_title":"Lecture Notes in Computer Science","user_id":"15504","_id":"56498","language":[{"iso":"eng"}],"type":"conference","publication":"Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings","status":"public","editor":[{"last_name":"Ahrendt","full_name":"Ahrendt, Wolfgang","first_name":"Wolfgang"},{"first_name":"Silvia Lizeth Tapia","full_name":"Tarifa, Silvia Lizeth Tapia","last_name":"Tarifa"}]},{"citation":{"ama":"Alrabbaa C, Koopmann P, Turhan A-Y. Practical Query Rewriting for DL-Lite with Numerical Predicates. In: Calvanese D, Iocchi L, eds. <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i>. Vol 65. EPiC Series in Computing. EasyChair; 2019:15–27. doi:<a href=\"https://doi.org/10.29007/GQLL\">10.29007/GQLL</a>","chicago":"Alrabbaa, Christian, Patrick Koopmann, and Anni-Yasmin Turhan. “Practical Query Rewriting for DL-Lite with Numerical Predicates.” In <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i>, edited by Diego Calvanese and Luca Iocchi, 65:15–27. EPiC Series in Computing. EasyChair, 2019. <a href=\"https://doi.org/10.29007/GQLL\">https://doi.org/10.29007/GQLL</a>.","ieee":"C. Alrabbaa, P. Koopmann, and A.-Y. Turhan, “Practical Query Rewriting for DL-Lite with Numerical Predicates,” in <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i>, 2019, vol. 65, pp. 15–27, doi: <a href=\"https://doi.org/10.29007/GQLL\">10.29007/GQLL</a>.","apa":"Alrabbaa, C., Koopmann, P., &#38; Turhan, A.-Y. (2019). Practical Query Rewriting for DL-Lite with Numerical Predicates. In D. Calvanese &#38; L. Iocchi (Eds.), <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i> (Vol. 65, pp. 15–27). EasyChair. <a href=\"https://doi.org/10.29007/GQLL\">https://doi.org/10.29007/GQLL</a>","mla":"Alrabbaa, Christian, et al. “Practical Query Rewriting for DL-Lite with Numerical Predicates.” <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i>, edited by Diego Calvanese and Luca Iocchi, vol. 65, EasyChair, 2019, pp. 15–27, doi:<a href=\"https://doi.org/10.29007/GQLL\">10.29007/GQLL</a>.","bibtex":"@inproceedings{Alrabbaa_Koopmann_Turhan_2019, series={EPiC Series in Computing}, title={Practical Query Rewriting for DL-Lite with Numerical Predicates}, volume={65}, DOI={<a href=\"https://doi.org/10.29007/GQLL\">10.29007/GQLL</a>}, booktitle={GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019}, publisher={EasyChair}, author={Alrabbaa, Christian and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Calvanese, Diego and Iocchi, Luca}, year={2019}, pages={15–27}, collection={EPiC Series in Computing} }","short":"C. Alrabbaa, P. Koopmann, A.-Y. Turhan, in: D. Calvanese, L. Iocchi (Eds.), GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019, EasyChair, 2019, pp. 15–27."},"intvolume":"        65","page":"15–27","year":"2019","date_created":"2024-10-10T12:26:25Z","author":[{"last_name":"Alrabbaa","full_name":"Alrabbaa, Christian","first_name":"Christian"},{"first_name":"Patrick","last_name":"Koopmann","full_name":"Koopmann, Patrick"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470","last_name":"Turhan"}],"volume":65,"date_updated":"2024-10-10T12:26:48Z","publisher":"EasyChair","doi":"10.29007/GQLL","title":"Practical Query Rewriting for DL-Lite with Numerical Predicates","type":"conference","publication":"GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019","status":"public","editor":[{"last_name":"Calvanese","full_name":"Calvanese, Diego","first_name":"Diego"},{"last_name":"Iocchi","full_name":"Iocchi, Luca","first_name":"Luca"}],"user_id":"15504","series_title":"EPiC Series in Computing","_id":"56496","language":[{"iso":"eng"}]},{"page":"213–221","citation":{"short":"A.-C.N. Ngomo, F. Conrads, M. Pensel, A.-Y. Turhan, in: M. Kejriwal, P.A. Szekely, R. Troncy (Eds.), Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019, ACM, 2019, pp. 213–221.","bibtex":"@inproceedings{Ngomo_Conrads_Pensel_Turhan_2019, title={Congenial Benchmarking of RDF Storage Solutions}, DOI={<a href=\"https://doi.org/10.1145/3360901.3364429\">10.1145/3360901.3364429</a>}, booktitle={Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019}, publisher={ACM}, author={Ngomo, Axel-Cyrille Ngonga and Conrads, Felix and Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Kejriwal, Mayank and Szekely, Pedro A. and Troncy, Raphaël}, year={2019}, pages={213–221} }","mla":"Ngomo, Axel-Cyrille Ngonga, et al. “Congenial Benchmarking of RDF Storage Solutions.” <i>Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019</i>, edited by Mayank Kejriwal et al., ACM, 2019, pp. 213–221, doi:<a href=\"https://doi.org/10.1145/3360901.3364429\">10.1145/3360901.3364429</a>.","apa":"Ngomo, A.-C. N., Conrads, F., Pensel, M., &#38; Turhan, A.-Y. (2019). Congenial Benchmarking of RDF Storage Solutions. In M. Kejriwal, P. A. Szekely, &#38; R. Troncy (Eds.), <i>Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019</i> (pp. 213–221). ACM. <a href=\"https://doi.org/10.1145/3360901.3364429\">https://doi.org/10.1145/3360901.3364429</a>","ama":"Ngomo A-CN, Conrads F, Pensel M, Turhan A-Y. Congenial Benchmarking of RDF Storage Solutions. In: Kejriwal M, Szekely PA, Troncy R, eds. <i>Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019</i>. ACM; 2019:213–221. doi:<a href=\"https://doi.org/10.1145/3360901.3364429\">10.1145/3360901.3364429</a>","chicago":"Ngomo, Axel-Cyrille Ngonga, Felix Conrads, Maximilian Pensel, and Anni-Yasmin Turhan. “Congenial Benchmarking of RDF Storage Solutions.” In <i>Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019</i>, edited by Mayank Kejriwal, Pedro A. Szekely, and Raphaël Troncy, 213–221. ACM, 2019. <a href=\"https://doi.org/10.1145/3360901.3364429\">https://doi.org/10.1145/3360901.3364429</a>.","ieee":"A.-C. N. Ngomo, F. Conrads, M. Pensel, and A.-Y. Turhan, “Congenial Benchmarking of RDF Storage Solutions,” in <i>Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019</i>, 2019, pp. 213–221, doi: <a href=\"https://doi.org/10.1145/3360901.3364429\">10.1145/3360901.3364429</a>."},"year":"2019","doi":"10.1145/3360901.3364429","title":"Congenial Benchmarking of RDF Storage Solutions","author":[{"first_name":"Axel-Cyrille Ngonga","last_name":"Ngomo","full_name":"Ngomo, Axel-Cyrille Ngonga"},{"first_name":"Felix","full_name":"Conrads, Felix","last_name":"Conrads"},{"first_name":"Maximilian","last_name":"Pensel","full_name":"Pensel, Maximilian"},{"first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin"}],"date_created":"2024-10-10T12:28:33Z","publisher":"ACM","date_updated":"2024-10-10T12:29:02Z","status":"public","editor":[{"full_name":"Kejriwal, Mayank","last_name":"Kejriwal","first_name":"Mayank"},{"first_name":"Pedro A.","full_name":"Szekely, Pedro A.","last_name":"Szekely"},{"first_name":"Raphaël","full_name":"Troncy, Raphaël","last_name":"Troncy"}],"publication":"Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019","type":"conference","language":[{"iso":"eng"}],"user_id":"15504","_id":"56499"},{"date_created":"2024-10-10T12:31:12Z","volume":11560,"date_updated":"2024-10-10T12:31:39Z","publisher":"Springer","doi":"10.1007/978-3-030-22102-7","title":"Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","publication_identifier":{"isbn":["978-3-030-22101-0"]},"citation":{"bibtex":"@book{Lutz_Sattler_Tinelli_Turhan_Wolter_2019, series={Lecture Notes in Computer Science}, title={Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, volume={11560}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-22102-7\">10.1007/978-3-030-22102-7</a>}, publisher={Springer}, year={2019}, collection={Lecture Notes in Computer Science} }","mla":"Lutz, Carsten, et al., editors. <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>. Springer, 2019, doi:<a href=\"https://doi.org/10.1007/978-3-030-22102-7\">10.1007/978-3-030-22102-7</a>.","short":"C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, F. Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Springer, 2019.","apa":"Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., &#38; Wolter, F. (Eds.). (2019). <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i> (Vol. 11560). Springer. <a href=\"https://doi.org/10.1007/978-3-030-22102-7\">https://doi.org/10.1007/978-3-030-22102-7</a>","ama":"Lutz C, Sattler U, Tinelli C, Turhan A-Y, Wolter F, eds. <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>. Vol 11560. Springer; 2019. doi:<a href=\"https://doi.org/10.1007/978-3-030-22102-7\">10.1007/978-3-030-22102-7</a>","chicago":"Lutz, Carsten, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, eds. <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>. Vol. 11560. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-22102-7\">https://doi.org/10.1007/978-3-030-22102-7</a>.","ieee":"C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, Eds., <i>Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday</i>, vol. 11560. Springer, 2019."},"intvolume":"     11560","year":"2019","series_title":"Lecture Notes in Computer Science","user_id":"15504","_id":"56502","language":[{"iso":"eng"}],"type":"conference_editor","status":"public","editor":[{"first_name":"Carsten","full_name":"Lutz, Carsten","last_name":"Lutz"},{"last_name":"Sattler","full_name":"Sattler, Uli","first_name":"Uli"},{"last_name":"Tinelli","full_name":"Tinelli, Cesare","first_name":"Cesare"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Wolter, Frank","last_name":"Wolter","first_name":"Frank"}]},{"language":[{"iso":"eng"}],"title":"Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner","date_created":"2024-10-10T12:29:32Z","author":[{"first_name":"Friedrich","full_name":"Michel, Friedrich","last_name":"Michel"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Zarrieß, Benjamin","last_name":"Zarrieß","first_name":"Benjamin"}],"user_id":"15504","date_updated":"2024-10-10T12:30:38Z","_id":"56500","citation":{"apa":"Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2019). <i>Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner</i> (P. Fodor, M. Montali, D. Calvanese, &#38; D. Roman, Eds.).","short":"F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 2019.","mla":"Michel, Friedrich, et al. <i>Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner</i>. Edited by Paul Fodor et al., 2019.","bibtex":"@inproceedings{Michel_Turhan_Zarrieß_2019, title={Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner}, author={Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Fodor, Paul and Montali, Marco and Calvanese, Diego and Roman, Dumitru}, year={2019} }","ama":"Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner. In: Fodor P, Montali M, Calvanese D, Roman D, eds. ; 2019.","ieee":"F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner,” 2019.","chicago":"Michel, Friedrich, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner.” edited by Paul Fodor, Marco Montali, Diego Calvanese, and Dumitru Roman, 2019."},"status":"public","year":"2019","editor":[{"full_name":"Fodor, Paul","last_name":"Fodor","first_name":"Paul"},{"last_name":"Montali","full_name":"Montali, Marco","first_name":"Marco"},{"first_name":"Diego","full_name":"Calvanese, Diego","last_name":"Calvanese"},{"full_name":"Roman, Dumitru","last_name":"Roman","first_name":"Dumitru"}],"type":"conference"},{"type":"conference_editor","editor":[{"first_name":"Thomas","full_name":"Lukasiewicz, Thomas","last_name":"Lukasiewicz"},{"first_name":"Rafael","full_name":"Peñaloza, Rafael","last_name":"Peñaloza"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"status":"public","_id":"56508","series_title":"CEUR Workshop Proceedings","user_id":"15504","language":[{"iso":"eng"}],"year":"2018","citation":{"chicago":"Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan, eds. <i>Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i>. Vol. 2157. CEUR Workshop Proceedings. CEUR-WS.org, 2018.","ieee":"T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, Eds., <i>Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i>, vol. 2157. CEUR-WS.org, 2018.","ama":"Lukasiewicz T, Peñaloza R, Turhan A-Y, eds. <i>Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i>. Vol 2157. CEUR-WS.org; 2018.","apa":"Lukasiewicz, T., Peñaloza, R., &#38; Turhan, A.-Y. (Eds.). (2018). <i>Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i> (Vol. 2157). CEUR-WS.org.","bibtex":"@book{Lukasiewicz_Peñaloza_Turhan_2018, series={CEUR Workshop Proceedings}, title={Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018}, volume={2157}, publisher={CEUR-WS.org}, year={2018}, collection={CEUR Workshop Proceedings} }","short":"T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, eds., Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018, CEUR-WS.org, 2018.","mla":"Lukasiewicz, Thomas, et al., editors. <i>Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness Co-Located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018</i>. CEUR-WS.org, 2018."},"intvolume":"      2157","date_updated":"2024-10-10T12:36:33Z","publisher":"CEUR-WS.org","date_created":"2024-10-10T12:36:14Z","volume":2157,"title":"Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018"},{"publication_identifier":{"isbn":["978-3-030-00110-0"]},"citation":{"short":"F. Trollmann, A.-Y. Turhan, eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, Springer, 2018.","mla":"Trollmann, Frank, and Anni-Yasmin Turhan, editors. <i>KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i>. Springer, 2018, doi:<a href=\"https://doi.org/10.1007/978-3-030-00111-7\">10.1007/978-3-030-00111-7</a>.","bibtex":"@book{Trollmann_Turhan_2018, series={Lecture Notes in Computer Science}, title={KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings}, volume={11117}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-00111-7\">10.1007/978-3-030-00111-7</a>}, publisher={Springer}, year={2018}, collection={Lecture Notes in Computer Science} }","apa":"Trollmann, F., &#38; Turhan, A.-Y. (Eds.). (2018). <i>KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i> (Vol. 11117). Springer. <a href=\"https://doi.org/10.1007/978-3-030-00111-7\">https://doi.org/10.1007/978-3-030-00111-7</a>","ama":"Trollmann F, Turhan A-Y, eds. <i>KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i>. Vol 11117. Springer; 2018. doi:<a href=\"https://doi.org/10.1007/978-3-030-00111-7\">10.1007/978-3-030-00111-7</a>","ieee":"F. Trollmann and A.-Y. Turhan, Eds., <i>KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i>, vol. 11117. Springer, 2018.","chicago":"Trollmann, Frank, and Anni-Yasmin Turhan, eds. <i>KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i>. Vol. 11117. Lecture Notes in Computer Science. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-030-00111-7\">https://doi.org/10.1007/978-3-030-00111-7</a>."},"intvolume":"     11117","year":"2018","date_created":"2024-10-10T12:44:49Z","volume":11117,"date_updated":"2024-10-10T12:45:12Z","publisher":"Springer","doi":"10.1007/978-3-030-00111-7","title":"KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings","type":"conference_editor","status":"public","editor":[{"first_name":"Frank","last_name":"Trollmann","full_name":"Trollmann, Frank"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"user_id":"15504","series_title":"Lecture Notes in Computer Science","_id":"56509","language":[{"iso":"eng"}]},{"editor":[{"last_name":"Thielscher","full_name":"Thielscher, Michael","first_name":"Michael"},{"first_name":"Francesca","full_name":"Toni, Francesca","last_name":"Toni"},{"first_name":"Frank","full_name":"Wolter, Frank","last_name":"Wolter"}],"status":"public","publication":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018","type":"conference","language":[{"iso":"eng"}],"_id":"56507","user_id":"15504","year":"2018","page":"399–408","citation":{"ama":"Peñaloza R, Thost V, Turhan A-Y. Query Answering for Rough EL Ontologies. In: Thielscher M, Toni F, Wolter F, eds. <i>Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018</i>. AAAI Press; 2018:399–408.","ieee":"R. Peñaloza, V. Thost, and A.-Y. Turhan, “Query Answering for Rough EL Ontologies,” in <i>Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018</i>, 2018, pp. 399–408.","chicago":"Peñaloza, Rafael, Veronika Thost, and Anni-Yasmin Turhan. “Query Answering for Rough EL Ontologies.” In <i>Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018</i>, edited by Michael Thielscher, Francesca Toni, and Frank Wolter, 399–408. AAAI Press, 2018.","apa":"Peñaloza, R., Thost, V., &#38; Turhan, A.-Y. (2018). Query Answering for Rough EL Ontologies. In M. Thielscher, F. Toni, &#38; F. Wolter (Eds.), <i>Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018</i> (pp. 399–408). AAAI Press.","bibtex":"@inproceedings{Peñaloza_Thost_Turhan_2018, title={Query Answering for Rough EL Ontologies}, booktitle={Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018}, publisher={AAAI Press}, author={Peñaloza, Rafael and Thost, Veronika and Turhan, Anni-Yasmin}, editor={Thielscher, Michael and Toni, Francesca and Wolter, Frank}, year={2018}, pages={399–408} }","short":"R. Peñaloza, V. Thost, A.-Y. Turhan, in: M. Thielscher, F. Toni, F. Wolter (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, AAAI Press, 2018, pp. 399–408.","mla":"Peñaloza, Rafael, et al. “Query Answering for Rough EL Ontologies.” <i>Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018</i>, edited by Michael Thielscher et al., AAAI Press, 2018, pp. 399–408."},"title":"Query Answering for Rough EL Ontologies","date_updated":"2024-10-10T12:35:30Z","publisher":"AAAI Press","date_created":"2024-10-10T12:35:14Z","author":[{"last_name":"Peñaloza","full_name":"Peñaloza, Rafael","first_name":"Rafael"},{"last_name":"Thost","full_name":"Thost, Veronika","first_name":"Veronika"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470","last_name":"Turhan"}]},{"status":"public","type":"journal_article","publication":"Int. J. Approx. Reason.","language":[{"iso":"eng"}],"user_id":"15504","_id":"56503","citation":{"apa":"Pensel, M., &#38; Turhan, A.-Y. (2018). Reasoning in the Defeasible Description Logic \\(ϵ\\)\\(\\mathscrL\\) - computing standard inferences under rational and relevant semantics. <i>Int. J. Approx. Reason.</i>, <i>103</i>, 28–70. <a href=\"https://doi.org/10.1016/J.IJAR.2018.08.005\">https://doi.org/10.1016/J.IJAR.2018.08.005</a>","short":"M. Pensel, A.-Y. Turhan, Int. J. Approx. Reason. 103 (2018) 28–70.","bibtex":"@article{Pensel_Turhan_2018, title={Reasoning in the Defeasible Description Logic \\(ϵ\\)\\(\\mathscrL\\) - computing standard inferences under rational and relevant semantics}, volume={103}, DOI={<a href=\"https://doi.org/10.1016/J.IJAR.2018.08.005\">10.1016/J.IJAR.2018.08.005</a>}, journal={Int. J. Approx. Reason.}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, year={2018}, pages={28–70} }","mla":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible Description Logic \\(Ε\\)\\(\\mathscrL\\) - Computing Standard Inferences under Rational and Relevant Semantics.” <i>Int. J. Approx. Reason.</i>, vol. 103, 2018, pp. 28–70, doi:<a href=\"https://doi.org/10.1016/J.IJAR.2018.08.005\">10.1016/J.IJAR.2018.08.005</a>.","chicago":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Reasoning in the Defeasible Description Logic \\(Ε\\)\\(\\mathscrL\\) - Computing Standard Inferences under Rational and Relevant Semantics.” <i>Int. J. Approx. Reason.</i> 103 (2018): 28–70. <a href=\"https://doi.org/10.1016/J.IJAR.2018.08.005\">https://doi.org/10.1016/J.IJAR.2018.08.005</a>.","ieee":"M. Pensel and A.-Y. Turhan, “Reasoning in the Defeasible Description Logic \\(ϵ\\)\\(\\mathscrL\\) - computing standard inferences under rational and relevant semantics,” <i>Int. J. Approx. Reason.</i>, vol. 103, pp. 28–70, 2018, doi: <a href=\"https://doi.org/10.1016/J.IJAR.2018.08.005\">10.1016/J.IJAR.2018.08.005</a>.","ama":"Pensel M, Turhan A-Y. Reasoning in the Defeasible Description Logic \\(ϵ\\)\\(\\mathscrL\\) - computing standard inferences under rational and relevant semantics. <i>Int J Approx Reason</i>. 2018;103:28–70. doi:<a href=\"https://doi.org/10.1016/J.IJAR.2018.08.005\">10.1016/J.IJAR.2018.08.005</a>"},"page":"28–70","intvolume":"       103","year":"2018","doi":"10.1016/J.IJAR.2018.08.005","title":"Reasoning in the Defeasible Description Logic \\(ϵ\\)\\(\\mathscrL\\) - computing standard inferences under rational and relevant semantics","author":[{"last_name":"Pensel","full_name":"Pensel, Maximilian","first_name":"Maximilian"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"}],"date_created":"2024-10-10T12:32:12Z","volume":103,"date_updated":"2024-10-10T12:32:32Z"},{"citation":{"ama":"Pensel M, Turhan A-Y. Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. In: Ortiz M, Schneider T, eds. <i>Proceedings of the 31st International Workshop on Description Logics Co-Located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i>. Vol 2211. CEUR Workshop Proceedings. CEUR-WS.org; 2018.","ieee":"M. Pensel and A.-Y. Turhan, “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot,” in <i>Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i>, 2018, vol. 2211.","chicago":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.” In <i>Proceedings of the 31st International Workshop on Description Logics Co-Located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i>, edited by Magdalena Ortiz and Thomas Schneider, Vol. 2211. CEUR Workshop Proceedings. CEUR-WS.org, 2018.","bibtex":"@inproceedings{Pensel_Turhan_2018, series={CEUR Workshop Proceedings}, title={Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot}, volume={2211}, booktitle={Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}, publisher={CEUR-WS.org}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Ortiz, Magdalena and Schneider, Thomas}, year={2018}, collection={CEUR Workshop Proceedings} }","mla":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.” <i>Proceedings of the 31st International Workshop on Description Logics Co-Located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i>, edited by Magdalena Ortiz and Thomas Schneider, vol. 2211, CEUR-WS.org, 2018.","short":"M. Pensel, A.-Y. Turhan, in: M. Ortiz, T. Schneider (Eds.), Proceedings of the 31st International Workshop on Description Logics Co-Located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018, CEUR-WS.org, 2018.","apa":"Pensel, M., &#38; Turhan, A.-Y. (2018). Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. In M. Ortiz &#38; T. Schneider (Eds.), <i>Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018</i> (Vol. 2211). CEUR-WS.org."},"intvolume":"      2211","year":"2018","title":"Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot","date_created":"2024-10-10T12:33:03Z","author":[{"last_name":"Pensel","full_name":"Pensel, Maximilian","first_name":"Maximilian"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"volume":2211,"publisher":"CEUR-WS.org","date_updated":"2024-10-14T08:09:32Z","status":"public","editor":[{"last_name":"Ortiz","full_name":"Ortiz, Magdalena","first_name":"Magdalena"},{"full_name":"Schneider, Thomas","last_name":"Schneider","first_name":"Thomas"}],"type":"conference","publication":"Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","user_id":"15504","_id":"56504"}]