[{"citation":{"mla":"Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” <i>Theory Pract. Log. Program.</i>, vol. 22, no. 2, 2022, pp. 162–192, doi:<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>.","apa":"Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. <i>Theory Pract. Log. Program.</i>, <i>22</i>(2), 162–192. <a href=\"https://doi.org/10.1017/S1471068421000466\">https://doi.org/10.1017/S1471068421000466</a>","ieee":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner,” <i>Theory Pract. Log. Program.</i>, vol. 22, no. 2, pp. 162–192, 2022, doi: <a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>.","short":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.","ama":"Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. <i>Theory Pract Log Program</i>. 2022;22(2):162–192. doi:<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>","chicago":"Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” <i>Theory Pract. Log. Program.</i> 22, no. 2 (2022): 162–192. <a href=\"https://doi.org/10.1017/S1471068421000466\">https://doi.org/10.1017/S1471068421000466</a>.","bibtex":"@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner}, volume={22}, DOI={<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>}, number={2}, journal={Theory Pract. Log. Program.}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, year={2022}, pages={162–192} }"},"issue":"2","publication":"Theory Pract. Log. Program.","date_created":"2024-03-26T10:53:00Z","department":[{"_id":"888"}],"type":"journal_article","author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"first_name":"Patrick","last_name":"Koopmann","full_name":"Koopmann, Patrick"},{"last_name":"Michel","first_name":"Friedrich","full_name":"Michel, Friedrich"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Zarrieß, Benjamin","first_name":"Benjamin","last_name":"Zarrieß"}],"year":"2022","title":"Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner","status":"public","intvolume":"        22","date_updated":"2024-06-03T08:25:12Z","language":[{"iso":"eng"}],"_id":"52918","page":"162–192","volume":22,"doi":"10.1017/S1471068421000466","user_id":"9503"},{"publication":"Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022","citation":{"ama":"Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.","bibtex":"@inproceedings{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, series={CEUR Workshop Proceedings}, title={Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }","mla":"Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.","short":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.","chicago":"Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” In <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.","apa":"Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In O. Arieli, M. Homola, J. C. Jung, &#38; M.-L. Mugnier (Eds.), <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i> (Vol. 3263). CEUR-WS.org.","ieee":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract),” in <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, 2022, vol. 3263."},"date_created":"2024-03-26T10:53:20Z","type":"conference","department":[{"_id":"888"}],"year":"2022","status":"public","title":"Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)","author":[{"full_name":"Baader, Franz","last_name":"Baader","first_name":"Franz"},{"first_name":"Patrick","last_name":"Koopmann","full_name":"Koopmann, Patrick"},{"last_name":"Michel","first_name":"Friedrich","full_name":"Michel, Friedrich"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"last_name":"Zarrieß","first_name":"Benjamin","full_name":"Zarrieß, Benjamin"}],"date_updated":"2024-10-14T08:04:11Z","intvolume":"      3263","_id":"52920","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","user_id":"15504","volume":3263,"editor":[{"full_name":"Arieli, Ofer","first_name":"Ofer","last_name":"Arieli"},{"full_name":"Homola, Martin","first_name":"Martin","last_name":"Homola"},{"full_name":"Jung, Jean Christoph","last_name":"Jung","first_name":"Jean Christoph"},{"full_name":"Mugnier, Marie-Laure","last_name":"Mugnier","first_name":"Marie-Laure"}]},{"language":[{"iso":"eng"}],"_id":"52921","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","user_id":"15504","editor":[{"last_name":"Arieli","first_name":"Ofer","full_name":"Arieli, Ofer"},{"last_name":"Homola","first_name":"Martin","full_name":"Homola, Martin"},{"full_name":"Jung, Jean Christoph","first_name":"Jean Christoph","last_name":"Jung"},{"full_name":"Mugnier, Marie-Laure","first_name":"Marie-Laure","last_name":"Mugnier"}],"volume":3263,"title":"A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)","status":"public","year":"2022","author":[{"first_name":"Satyadharma","last_name":"Tirtarasa","full_name":"Tirtarasa, Satyadharma"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"date_updated":"2024-10-14T08:02:28Z","intvolume":"      3263","date_created":"2024-03-26T10:53:35Z","type":"conference","department":[{"_id":"888"}],"publication":"Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022","citation":{"ama":"Tirtarasa S, Turhan A-Y. A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.","bibtex":"@inproceedings{Tirtarasa_Turhan_2022, series={CEUR Workshop Proceedings}, title={A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }","mla":"Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.","short":"S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.","chicago":"Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” In <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.","apa":"Tirtarasa, S., &#38; Turhan, A.-Y. (2022). A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). In O. Arieli, M. Homola, J. C. Jung, &#38; M.-L. Mugnier (Eds.), <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i> (Vol. 3263). CEUR-WS.org.","ieee":"S. Tirtarasa and A.-Y. Turhan, “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract),” in <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, 2022, vol. 3263."}},{"type":"conference","department":[{"_id":"888"}],"date_created":"2024-03-26T10:53:53Z","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","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.","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.","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.","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.","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.","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.","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} }"},"user_id":"15504","editor":[{"last_name":"Beierle","first_name":"Christoph","full_name":"Beierle, Christoph"},{"first_name":"Marco","last_name":"Ragni","full_name":"Ragni, Marco"},{"first_name":"Frieder","last_name":"Stolzenburg","full_name":"Stolzenburg, Frieder"},{"full_name":"Sauerwald, Kai","first_name":"Kai","last_name":"Sauerwald"},{"first_name":"Matthias","last_name":"Thimm","full_name":"Thimm, Matthias"}],"volume":3242,"page":"90–101","series_title":"CEUR Workshop Proceedings","_id":"52922","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"date_updated":"2024-10-14T08:04:50Z","intvolume":"      3242","year":"2022","title":"User-aware Explications of Ontology Consequences: Levelling Technicality","status":"public","author":[{"first_name":"Rafael","last_name":"Peñaloza","full_name":"Peñaloza, Rafael"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"}]},{"type":"conference","department":[{"_id":"888"}],"date_created":"2024-03-26T10:55:06Z","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","citation":{"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>","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} }","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>.","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>.","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.","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>","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>."},"doi":"10.1609/AAAI.V35I7.16787","user_id":"9503","page":"6340–6348","publisher":"AAAI Press","_id":"52927","language":[{"iso":"eng"}],"date_updated":"2024-03-26T10:56:06Z","year":"2021","status":"public","title":"Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics","author":[{"last_name":"Gil","first_name":"Oliver Fernández","full_name":"Gil, Oliver Fernández"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}]},{"publication":"Formal Aspects Comput.","issue":"6","citation":{"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>.","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>","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>.","short":"C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 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>.","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} }","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>"},"date_created":"2024-03-26T10:54:48Z","type":"journal_article","department":[{"_id":"888"}],"title":"Enhancing Probabilistic Model Checking with Ontologies","status":"public","year":"2021","author":[{"first_name":"Clemens","last_name":"Dubslaff","full_name":"Dubslaff, Clemens"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"date_updated":"2024-03-26T10:56:09Z","intvolume":"        33","page":"885–921","_id":"52926","language":[{"iso":"eng"}],"user_id":"9503","doi":"10.1007/S00165-021-00549-0","volume":33},{"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","citation":{"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.","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.","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.","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."},"type":"conference","department":[{"_id":"888"}],"date_created":"2024-03-26T10:55:22Z","date_updated":"2024-10-14T08:05:31Z","intvolume":"      2961","year":"2021","title":"Counter Model Transformation for Explaining Non-Subsumption in EL","status":"public","author":[{"full_name":"Alrabbaa, Christian","first_name":"Christian","last_name":"Alrabbaa"},{"full_name":"Hieke, Willi","last_name":"Hieke","first_name":"Willi"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}],"user_id":"15504","volume":2961,"editor":[{"full_name":"Beierle, Christoph","last_name":"Beierle","first_name":"Christoph"},{"first_name":"Marco","last_name":"Ragni","full_name":"Ragni, Marco"},{"full_name":"Stolzenburg, Frieder","first_name":"Frieder","last_name":"Stolzenburg"},{"full_name":"Thimm, Matthias","last_name":"Thimm","first_name":"Matthias"}],"page":"9–22","_id":"52928","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org"},{"author":[{"last_name":"Baader","first_name":"Franz","full_name":"Baader, Franz"},{"full_name":"Borgwardt, Stefan","last_name":"Borgwardt","first_name":"Stefan"},{"last_name":"Koopmann","first_name":"Patrick","full_name":"Koopmann, Patrick"},{"last_name":"Thost","first_name":"Veronika","full_name":"Thost, Veronika"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"year":"2020","title":"Semantic Technologies for Situation Awareness","status":"public","intvolume":"        34","date_updated":"2024-03-26T10:56:01Z","language":[{"iso":"eng"}],"_id":"52930","page":"543–550","volume":34,"doi":"10.1007/S13218-020-00694-3","user_id":"9503","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} }","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>","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>.","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>.","short":"F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche Intell. 34 (2020) 543–550.","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>.","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>"},"issue":"4","publication":"Künstliche Intell.","date_created":"2024-03-26T10:55:50Z","department":[{"_id":"888"}],"type":"journal_article"},{"type":"conference","date_created":"2024-10-10T12:21:18Z","citation":{"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.","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} }","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.","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.","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.","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.","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."},"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","editor":[{"full_name":"Beierle, Christoph","first_name":"Christoph","last_name":"Beierle"},{"first_name":"Marco","last_name":"Ragni","full_name":"Ragni, Marco"},{"last_name":"Stolzenburg","first_name":"Frieder","full_name":"Stolzenburg, Frieder"},{"first_name":"Matthias","last_name":"Thimm","full_name":"Thimm, Matthias"}],"volume":2680,"user_id":"15504","_id":"56490","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"page":"69–82","intvolume":"      2680","date_updated":"2024-10-10T12:21:54Z","author":[{"first_name":"Willi","last_name":"Hieke","full_name":"Hieke, Willi"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"}],"status":"public","year":"2020","title":"Towards Model Transformation in Description Logics - Investigating the Case of Transductions"},{"citation":{"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.","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.","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.","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.","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.","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} }","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."},"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","date_created":"2024-03-26T11:22:26Z","department":[{"_id":"888"}],"type":"conference","author":[{"full_name":"Dubslaff, Clemens","last_name":"Dubslaff","first_name":"Clemens"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"title":"Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification","year":"2020","status":"public","intvolume":"      2663","date_updated":"2024-10-14T08:06:21Z","publisher":"CEUR-WS.org","_id":"52936","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"editor":[{"first_name":"Stefan","last_name":"Borgwardt","full_name":"Borgwardt, Stefan"},{"full_name":"Meyer, Thomas","first_name":"Thomas","last_name":"Meyer"}],"volume":2663,"user_id":"15504"},{"date_created":"2024-10-10T12:19:43Z","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","citation":{"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} }","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.","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.","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.","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.","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.","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."},"_id":"56489","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","user_id":"15504","volume":2663,"editor":[{"first_name":"Stefan","last_name":"Borgwardt","full_name":"Borgwardt, Stefan"},{"full_name":"Meyer, Thomas","last_name":"Meyer","first_name":"Thomas"}],"year":"2020","status":"public","title":"Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)","author":[{"full_name":"Gil, Oliver Fernández","last_name":"Gil","first_name":"Oliver Fernández"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"date_updated":"2024-10-14T08:06:57Z","intvolume":"      2663"},{"author":[{"first_name":"Camille","last_name":"Bourgaux","full_name":"Bourgaux, Camille"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"status":"public","year":"2019","title":"Ontology-mediated query answering over temporal and inconsistent data","intvolume":"        10","date_updated":"2024-10-10T12:23:22Z","language":[{"iso":"eng"}],"_id":"56491","page":"475–521","volume":10,"user_id":"15504","doi":"10.3233/SW-180337","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} }","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>.","short":"C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.","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>","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>.","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>","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>."},"publication":"Semantic Web","issue":"3","date_created":"2024-10-10T12:22:53Z","type":"journal_article"},{"publication":"Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","citation":{"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>","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} }","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>.","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.","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>.","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>."},"type":"conference","date_created":"2024-10-10T12:25:17Z","date_updated":"2024-10-10T12:25:41Z","intvolume":"     11560","status":"public","title":"A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction","year":"2019","author":[{"last_name":"Lutz","first_name":"Carsten","full_name":"Lutz, Carsten"},{"full_name":"Sattler, Uli","first_name":"Uli","last_name":"Sattler"},{"first_name":"Cesare","last_name":"Tinelli","full_name":"Tinelli, Cesare"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"first_name":"Frank","last_name":"Wolter","full_name":"Wolter, Frank"}],"user_id":"15504","doi":"10.1007/978-3-030-22102-7_1","volume":11560,"editor":[{"last_name":"Lutz","first_name":"Carsten","full_name":"Lutz, Carsten"},{"full_name":"Sattler, Uli","first_name":"Uli","last_name":"Sattler"},{"last_name":"Tinelli","first_name":"Cesare","full_name":"Tinelli, Cesare"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"full_name":"Wolter, Frank","last_name":"Wolter","first_name":"Frank"}],"page":"1–14","_id":"56493","series_title":"Lecture Notes in Computer Science","publisher":"Springer","language":[{"iso":"eng"}]},{"user_id":"15504","doi":"10.1007/978-3-030-34968-4_11","volume":11918,"editor":[{"first_name":"Wolfgang","last_name":"Ahrendt","full_name":"Ahrendt, Wolfgang"},{"last_name":"Tarifa","first_name":"Silvia Lizeth Tapia","full_name":"Tarifa, Silvia Lizeth Tapia"}],"page":"194–211","series_title":"Lecture Notes in Computer Science","_id":"56498","language":[{"iso":"eng"}],"publisher":"Springer","date_updated":"2024-10-10T12:28:01Z","intvolume":"     11918","status":"public","year":"2019","title":"Ontology-Mediated Probabilistic Model Checking","author":[{"last_name":"Dubslaff","first_name":"Clemens","full_name":"Dubslaff, Clemens"},{"first_name":"Patrick","last_name":"Koopmann","full_name":"Koopmann, Patrick"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}],"type":"conference","date_created":"2024-10-10T12:27:40Z","publication":"Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings","citation":{"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>.","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>","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>.","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>","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>."}},{"publication":"GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019","citation":{"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>.","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>","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} }","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>","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>.","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>.","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."},"type":"conference","date_created":"2024-10-10T12:26:25Z","date_updated":"2024-10-10T12:26:48Z","intvolume":"        65","title":"Practical Query Rewriting for DL-Lite with Numerical Predicates","year":"2019","status":"public","author":[{"last_name":"Alrabbaa","first_name":"Christian","full_name":"Alrabbaa, Christian"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"doi":"10.29007/GQLL","user_id":"15504","editor":[{"full_name":"Calvanese, Diego","last_name":"Calvanese","first_name":"Diego"},{"full_name":"Iocchi, Luca","last_name":"Iocchi","first_name":"Luca"}],"volume":65,"page":"15–27","series_title":"EPiC Series in Computing","_id":"56496","language":[{"iso":"eng"}],"publisher":"EasyChair"},{"date_created":"2024-10-10T12:28:33Z","type":"conference","publication":"Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019","citation":{"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>","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>.","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.","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>.","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>","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>."},"page":"213–221","_id":"56499","publisher":"ACM","language":[{"iso":"eng"}],"doi":"10.1145/3360901.3364429","user_id":"15504","editor":[{"full_name":"Kejriwal, Mayank","first_name":"Mayank","last_name":"Kejriwal"},{"full_name":"Szekely, Pedro A.","first_name":"Pedro A.","last_name":"Szekely"},{"full_name":"Troncy, Raphaël","first_name":"Raphaël","last_name":"Troncy"}],"status":"public","title":"Congenial Benchmarking of RDF Storage Solutions","year":"2019","author":[{"last_name":"Ngomo","first_name":"Axel-Cyrille Ngonga","full_name":"Ngomo, Axel-Cyrille Ngonga"},{"full_name":"Conrads, Felix","last_name":"Conrads","first_name":"Felix"},{"last_name":"Pensel","first_name":"Maximilian","full_name":"Pensel, Maximilian"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T12:29:02Z"},{"type":"conference_editor","date_created":"2024-10-10T12:31:12Z","citation":{"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>","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>.","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>.","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>","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."},"editor":[{"full_name":"Lutz, Carsten","last_name":"Lutz","first_name":"Carsten"},{"first_name":"Uli","last_name":"Sattler","full_name":"Sattler, Uli"},{"full_name":"Tinelli, Cesare","last_name":"Tinelli","first_name":"Cesare"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Wolter, Frank","first_name":"Frank","last_name":"Wolter"}],"volume":11560,"doi":"10.1007/978-3-030-22102-7","user_id":"15504","publisher":"Springer","_id":"56502","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"intvolume":"     11560","date_updated":"2024-10-10T12:31:39Z","publication_identifier":{"isbn":["978-3-030-22101-0"]},"status":"public","title":"Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","year":"2019"},{"editor":[{"last_name":"Fodor","first_name":"Paul","full_name":"Fodor, Paul"},{"full_name":"Montali, Marco","first_name":"Marco","last_name":"Montali"},{"full_name":"Calvanese, Diego","last_name":"Calvanese","first_name":"Diego"},{"first_name":"Dumitru","last_name":"Roman","full_name":"Roman, Dumitru"}],"user_id":"15504","_id":"56500","language":[{"iso":"eng"}],"date_updated":"2024-10-10T12:30:38Z","author":[{"full_name":"Michel, Friedrich","first_name":"Friedrich","last_name":"Michel"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Zarrieß, Benjamin","last_name":"Zarrieß","first_name":"Benjamin"}],"status":"public","year":"2019","title":"Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner","type":"conference","date_created":"2024-10-10T12:29:32Z","citation":{"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.","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.","short":"F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 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.","ieee":"F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner,” 2019.","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.)."}},{"type":"conference_editor","date_created":"2024-10-10T12:36:14Z","citation":{"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} }","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.","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.","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.","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.","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.","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."},"editor":[{"full_name":"Lukasiewicz, Thomas","last_name":"Lukasiewicz","first_name":"Thomas"},{"last_name":"Peñaloza","first_name":"Rafael","full_name":"Peñaloza, Rafael"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"volume":2157,"user_id":"15504","publisher":"CEUR-WS.org","_id":"56508","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","intvolume":"      2157","date_updated":"2024-10-10T12:36:33Z","year":"2018","status":"public","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"},{"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.","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>.","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>","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.","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>","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} }","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>."},"date_created":"2024-10-10T12:44:49Z","type":"conference_editor","year":"2018","title":"KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings","status":"public","publication_identifier":{"isbn":["978-3-030-00110-0"]},"date_updated":"2024-10-10T12:45:12Z","intvolume":"     11117","language":[{"iso":"eng"}],"_id":"56509","series_title":"Lecture Notes in Computer Science","publisher":"Springer","user_id":"15504","doi":"10.1007/978-3-030-00111-7","volume":11117,"editor":[{"full_name":"Trollmann, Frank","first_name":"Frank","last_name":"Trollmann"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}]}]