[{"title":"Semantic Technologies for Situation Awareness","year":"2020","status":"public","author":[{"full_name":"Baader, Franz","last_name":"Baader","first_name":"Franz"},{"full_name":"Borgwardt, Stefan","last_name":"Borgwardt","first_name":"Stefan"},{"last_name":"Koopmann","first_name":"Patrick","full_name":"Koopmann, Patrick"},{"first_name":"Veronika","last_name":"Thost","full_name":"Thost, Veronika"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"}],"date_updated":"2024-03-26T10:56:01Z","intvolume":"        34","page":"543–550","_id":"52930","language":[{"iso":"eng"}],"doi":"10.1007/S13218-020-00694-3","user_id":"9503","volume":34,"issue":"4","publication":"Künstliche Intell.","citation":{"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>.","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>","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>","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."},"date_created":"2024-03-26T10:55:50Z","type":"journal_article","department":[{"_id":"888"}]},{"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","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.","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} }","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.","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.","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.","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."},"date_created":"2024-10-10T12:21:18Z","type":"conference","year":"2020","title":"Towards Model Transformation in Description Logics - Investigating the Case of Transductions","status":"public","author":[{"full_name":"Hieke, Willi","last_name":"Hieke","first_name":"Willi"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T12:21:54Z","intvolume":"      2680","page":"69–82","_id":"56490","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"user_id":"15504","volume":2680,"editor":[{"first_name":"Christoph","last_name":"Beierle","full_name":"Beierle, Christoph"},{"full_name":"Ragni, Marco","last_name":"Ragni","first_name":"Marco"},{"full_name":"Stolzenburg, Frieder","last_name":"Stolzenburg","first_name":"Frieder"},{"full_name":"Thimm, Matthias","first_name":"Matthias","last_name":"Thimm"}]},{"type":"conference","department":[{"_id":"888"}],"date_created":"2024-03-26T11:22:26Z","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":{"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.","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} }","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.","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.","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.","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."},"user_id":"15504","editor":[{"last_name":"Borgwardt","first_name":"Stefan","full_name":"Borgwardt, Stefan"},{"first_name":"Thomas","last_name":"Meyer","full_name":"Meyer, Thomas"}],"volume":2663,"publisher":"CEUR-WS.org","_id":"52936","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","date_updated":"2024-10-14T08:06:21Z","intvolume":"      2663","title":"Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification","year":"2020","status":"public","author":[{"full_name":"Dubslaff, Clemens","first_name":"Clemens","last_name":"Dubslaff"},{"last_name":"Koopmann","first_name":"Patrick","full_name":"Koopmann, Patrick"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}]},{"_id":"56489","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"editor":[{"last_name":"Borgwardt","first_name":"Stefan","full_name":"Borgwardt, Stefan"},{"first_name":"Thomas","last_name":"Meyer","full_name":"Meyer, Thomas"}],"volume":2663,"user_id":"15504","author":[{"first_name":"Oliver Fernández","last_name":"Gil","full_name":"Gil, Oliver Fernández"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"year":"2020","title":"Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)","status":"public","intvolume":"      2663","date_updated":"2024-10-14T08:06:57Z","date_created":"2024-10-10T12:19:43Z","type":"conference","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.","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.","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.","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.","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.","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.","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} }"},"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"},{"page":"475–521","_id":"56491","language":[{"iso":"eng"}],"user_id":"15504","doi":"10.3233/SW-180337","volume":10,"title":"Ontology-mediated query answering over temporal and inconsistent data","status":"public","year":"2019","author":[{"last_name":"Bourgaux","first_name":"Camille","full_name":"Bourgaux, Camille"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T12:23:22Z","intvolume":"        10","date_created":"2024-10-10T12:22:53Z","type":"journal_article","issue":"3","publication":"Semantic Web","citation":{"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>.","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>.","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>","short":"C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 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>.","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} }"}},{"editor":[{"full_name":"Lutz, Carsten","last_name":"Lutz","first_name":"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"},{"last_name":"Wolter","first_name":"Frank","full_name":"Wolter, Frank"}],"volume":11560,"doi":"10.1007/978-3-030-22102-7_1","user_id":"15504","_id":"56493","publisher":"Springer","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"page":"1–14","intvolume":"     11560","date_updated":"2024-10-10T12:25:41Z","author":[{"first_name":"Carsten","last_name":"Lutz","full_name":"Lutz, Carsten"},{"full_name":"Sattler, Uli","first_name":"Uli","last_name":"Sattler"},{"full_name":"Tinelli, Cesare","last_name":"Tinelli","first_name":"Cesare"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"},{"full_name":"Wolter, Frank","last_name":"Wolter","first_name":"Frank"}],"status":"public","title":"A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction","year":"2019","type":"conference","date_created":"2024-10-10T12:25:17Z","citation":{"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} }","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>","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>.","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>","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>.","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."},"publication":"Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday"},{"citation":{"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>.","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} }","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>.","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."},"publication":"Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings","type":"conference","date_created":"2024-10-10T12:27:40Z","intvolume":"     11918","date_updated":"2024-10-10T12:28:01Z","author":[{"last_name":"Dubslaff","first_name":"Clemens","full_name":"Dubslaff, Clemens"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"status":"public","year":"2019","title":"Ontology-Mediated Probabilistic Model Checking","editor":[{"full_name":"Ahrendt, Wolfgang","first_name":"Wolfgang","last_name":"Ahrendt"},{"full_name":"Tarifa, Silvia Lizeth Tapia","last_name":"Tarifa","first_name":"Silvia Lizeth Tapia"}],"volume":11918,"doi":"10.1007/978-3-030-34968-4_11","user_id":"15504","series_title":"Lecture Notes in Computer Science","_id":"56498","publisher":"Springer","language":[{"iso":"eng"}],"page":"194–211"},{"_id":"56496","publisher":"EasyChair","series_title":"EPiC Series in Computing","language":[{"iso":"eng"}],"page":"15–27","editor":[{"first_name":"Diego","last_name":"Calvanese","full_name":"Calvanese, Diego"},{"last_name":"Iocchi","first_name":"Luca","full_name":"Iocchi, Luca"}],"volume":65,"doi":"10.29007/GQLL","user_id":"15504","author":[{"full_name":"Alrabbaa, Christian","first_name":"Christian","last_name":"Alrabbaa"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"status":"public","year":"2019","title":"Practical Query Rewriting for DL-Lite with Numerical Predicates","intvolume":"        65","date_updated":"2024-10-10T12:26:48Z","date_created":"2024-10-10T12:26:25Z","type":"conference","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>.","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.","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>."},"publication":"GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019"},{"editor":[{"last_name":"Kejriwal","first_name":"Mayank","full_name":"Kejriwal, Mayank"},{"full_name":"Szekely, Pedro A.","first_name":"Pedro A.","last_name":"Szekely"},{"full_name":"Troncy, Raphaël","first_name":"Raphaël","last_name":"Troncy"}],"user_id":"15504","doi":"10.1145/3360901.3364429","publisher":"ACM","_id":"56499","language":[{"iso":"eng"}],"page":"213–221","date_updated":"2024-10-10T12:29:02Z","author":[{"full_name":"Ngomo, Axel-Cyrille Ngonga","last_name":"Ngomo","first_name":"Axel-Cyrille Ngonga"},{"last_name":"Conrads","first_name":"Felix","full_name":"Conrads, Felix"},{"full_name":"Pensel, Maximilian","first_name":"Maximilian","last_name":"Pensel"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"status":"public","year":"2019","title":"Congenial Benchmarking of RDF Storage Solutions","type":"conference","date_created":"2024-10-10T12:28:33Z","citation":{"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>.","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} }","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>.","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>.","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."},"publication":"Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019"},{"_id":"56502","language":[{"iso":"eng"}],"publisher":"Springer","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-030-22102-7","user_id":"15504","editor":[{"full_name":"Lutz, Carsten","first_name":"Carsten","last_name":"Lutz"},{"full_name":"Sattler, Uli","last_name":"Sattler","first_name":"Uli"},{"first_name":"Cesare","last_name":"Tinelli","full_name":"Tinelli, Cesare"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"full_name":"Wolter, Frank","last_name":"Wolter","first_name":"Frank"}],"volume":11560,"title":"Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","year":"2019","status":"public","publication_identifier":{"isbn":["978-3-030-22101-0"]},"date_updated":"2024-10-10T12:31:39Z","intvolume":"     11560","date_created":"2024-10-10T12:31:12Z","type":"conference_editor","citation":{"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.","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>.","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.","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>."}},{"date_created":"2024-10-10T12:29:32Z","type":"conference","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.).","ieee":"F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner,” 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.","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.","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.","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} }"},"language":[{"iso":"eng"}],"_id":"56500","editor":[{"full_name":"Fodor, Paul","first_name":"Paul","last_name":"Fodor"},{"full_name":"Montali, Marco","last_name":"Montali","first_name":"Marco"},{"first_name":"Diego","last_name":"Calvanese","full_name":"Calvanese, Diego"},{"first_name":"Dumitru","last_name":"Roman","full_name":"Roman, Dumitru"}],"user_id":"15504","author":[{"full_name":"Michel, Friedrich","first_name":"Friedrich","last_name":"Michel"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"},{"full_name":"Zarrieß, Benjamin","first_name":"Benjamin","last_name":"Zarrieß"}],"year":"2019","title":"Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner","status":"public","date_updated":"2024-10-10T12:30:38Z"},{"type":"conference_editor","date_created":"2024-10-10T12:36:14Z","citation":{"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.","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} }","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.","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.","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."},"user_id":"15504","volume":2157,"editor":[{"full_name":"Lukasiewicz, Thomas","first_name":"Thomas","last_name":"Lukasiewicz"},{"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"}],"_id":"56508","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","date_updated":"2024-10-10T12:36:33Z","intvolume":"      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","year":"2018","status":"public"},{"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"}],"status":"public","year":"2018","title":"KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings","publication_identifier":{"isbn":["978-3-030-00110-0"]},"date_updated":"2024-10-10T12:45:12Z","intvolume":"     11117","date_created":"2024-10-10T12:44:49Z","type":"conference_editor","citation":{"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.","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>.","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>.","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} }"}},{"citation":{"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.","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.","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.","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.","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} }"},"publication":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018","type":"conference","date_created":"2024-10-10T12:35:14Z","date_updated":"2024-10-10T12:35:30Z","author":[{"first_name":"Rafael","last_name":"Peñaloza","full_name":"Peñaloza, Rafael"},{"full_name":"Thost, Veronika","last_name":"Thost","first_name":"Veronika"},{"full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin","id":"104470"}],"title":"Query Answering for Rough EL Ontologies","status":"public","year":"2018","editor":[{"full_name":"Thielscher, Michael","first_name":"Michael","last_name":"Thielscher"},{"last_name":"Toni","first_name":"Francesca","full_name":"Toni, Francesca"},{"full_name":"Wolter, Frank","first_name":"Frank","last_name":"Wolter"}],"user_id":"15504","_id":"56507","publisher":"AAAI Press","language":[{"iso":"eng"}],"page":"399–408"},{"language":[{"iso":"eng"}],"_id":"56503","page":"28–70","volume":103,"doi":"10.1016/J.IJAR.2018.08.005","user_id":"15504","author":[{"last_name":"Pensel","first_name":"Maximilian","full_name":"Pensel, Maximilian"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"year":"2018","status":"public","title":"Reasoning in the Defeasible Description Logic \\(ϵ\\)\\(\\mathscrL\\) - computing standard inferences under rational and relevant semantics","intvolume":"       103","date_updated":"2024-10-10T12:32:32Z","date_created":"2024-10-10T12:32:12Z","type":"journal_article","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>","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>.","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>.","short":"M. Pensel, A.-Y. Turhan, Int. J. Approx. Reason. 103 (2018) 28–70.","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>","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>.","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} }"},"publication":"Int. J. Approx. Reason."},{"title":"Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot","status":"public","year":"2018","author":[{"first_name":"Maximilian","last_name":"Pensel","full_name":"Pensel, Maximilian"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}],"date_updated":"2024-10-14T08:09:32Z","intvolume":"      2211","_id":"56504","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"user_id":"15504","volume":2211,"editor":[{"first_name":"Magdalena","last_name":"Ortiz","full_name":"Ortiz, Magdalena"},{"first_name":"Thomas","last_name":"Schneider","full_name":"Schneider, Thomas"}],"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","citation":{"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.","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.","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.","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.","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.","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} }","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."},"date_created":"2024-10-10T12:33:03Z","type":"conference"},{"publication":"FLAP","issue":"7","citation":{"ama":"Lukasiewicz T, Peñaloza R, Turhan A-Y. Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness. <i>FLAP</i>. 2017;4(7).","bibtex":"@article{Lukasiewicz_Peñaloza_Turhan_2017, title={Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness}, volume={4}, number={7}, journal={FLAP}, author={Lukasiewicz, Thomas and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2017} }","mla":"Lukasiewicz, Thomas, et al. “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness.” <i>FLAP</i>, vol. 4, no. 7, 2017.","short":"T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, FLAP 4 (2017).","chicago":"Lukasiewicz, Thomas, Rafael Peñaloza, and Anni-Yasmin Turhan. “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness.” <i>FLAP</i> 4, no. 7 (2017).","apa":"Lukasiewicz, T., Peñaloza, R., &#38; Turhan, A.-Y. (2017). Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness. <i>FLAP</i>, <i>4</i>(7).","ieee":"T. Lukasiewicz, R. Peñaloza, and A.-Y. Turhan, “Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness,” <i>FLAP</i>, vol. 4, no. 7, 2017."},"date_created":"2024-10-10T12:45:59Z","type":"journal_article","title":"Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness","year":"2017","status":"public","author":[{"last_name":"Lukasiewicz","first_name":"Thomas","full_name":"Lukasiewicz, Thomas"},{"full_name":"Peñaloza, Rafael","first_name":"Rafael","last_name":"Peñaloza"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"date_updated":"2024-10-10T12:46:30Z","intvolume":"         4","language":[{"iso":"eng"}],"_id":"56510","user_id":"15504","volume":4},{"type":"conference","date_created":"2024-10-10T12:52:02Z","citation":{"apa":"Bourgaux, C., &#38; Turhan, A.-Y. (2017). Temporal Query Answering in DL-Lite over Inconsistent Data. In C. d’Amato, M. Fernández, V. A. M. Tamma, F. Lécué, P. Cudré-Mauroux, J. F. Sequeda, C. Lange, &#38; J. Heflin (Eds.), <i>The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I</i> (Vol. 10587, pp. 121–137). Springer. <a href=\"https://doi.org/10.1007/978-3-319-68288-4_8\">https://doi.org/10.1007/978-3-319-68288-4_8</a>","ieee":"C. Bourgaux and A.-Y. Turhan, “Temporal Query Answering in DL-Lite over Inconsistent Data,” in <i>The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I</i>, 2017, vol. 10587, pp. 121–137, doi: <a href=\"https://doi.org/10.1007/978-3-319-68288-4_8\">10.1007/978-3-319-68288-4_8</a>.","chicago":"Bourgaux, Camille, and Anni-Yasmin Turhan. “Temporal Query Answering in DL-Lite over Inconsistent Data.” In <i>The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I</i>, edited by Claudia d’Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, and Jeff Heflin, 10587:121–137. Lecture Notes in Computer Science. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-68288-4_8\">https://doi.org/10.1007/978-3-319-68288-4_8</a>.","short":"C. Bourgaux, A.-Y. Turhan, in: C. d’Amato, M. Fernández, V.A.M. Tamma, F. Lécué, P. Cudré-Mauroux, J.F. Sequeda, C. Lange, J. Heflin (Eds.), The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I, Springer, 2017, pp. 121–137.","mla":"Bourgaux, Camille, and Anni-Yasmin Turhan. “Temporal Query Answering in DL-Lite over Inconsistent Data.” <i>The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I</i>, edited by Claudia d’Amato et al., vol. 10587, Springer, 2017, pp. 121–137, doi:<a href=\"https://doi.org/10.1007/978-3-319-68288-4_8\">10.1007/978-3-319-68288-4_8</a>.","ama":"Bourgaux C, Turhan A-Y. Temporal Query Answering in DL-Lite over Inconsistent Data. In: d’Amato C, Fernández M, Tamma VAM, et al., eds. <i>The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I</i>. Vol 10587. Lecture Notes in Computer Science. Springer; 2017:121–137. doi:<a href=\"https://doi.org/10.1007/978-3-319-68288-4_8\">10.1007/978-3-319-68288-4_8</a>","bibtex":"@inproceedings{Bourgaux_Turhan_2017, series={Lecture Notes in Computer Science}, title={Temporal Query Answering in DL-Lite over Inconsistent Data}, volume={10587}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-68288-4_8\">10.1007/978-3-319-68288-4_8</a>}, booktitle={The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I}, publisher={Springer}, author={Bourgaux, Camille and Turhan, Anni-Yasmin}, editor={d’Amato, Claudia and Fernández, Miriam and Tamma, Valentina A. M. and Lécué, Freddy and Cudré-Mauroux, Philippe and Sequeda, Juan F. and Lange, Christoph and Heflin, Jeff}, year={2017}, pages={121–137}, collection={Lecture Notes in Computer Science} }"},"publication":"The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I","editor":[{"full_name":"d’Amato, Claudia","last_name":"d’Amato","first_name":"Claudia"},{"full_name":"Fernández, Miriam","last_name":"Fernández","first_name":"Miriam"},{"full_name":"Tamma, Valentina A. M.","last_name":"Tamma","first_name":"Valentina A. M."},{"full_name":"Lécué, Freddy","first_name":"Freddy","last_name":"Lécué"},{"first_name":"Philippe","last_name":"Cudré-Mauroux","full_name":"Cudré-Mauroux, Philippe"},{"last_name":"Sequeda","first_name":"Juan F.","full_name":"Sequeda, Juan F."},{"first_name":"Christoph","last_name":"Lange","full_name":"Lange, Christoph"},{"first_name":"Jeff","last_name":"Heflin","full_name":"Heflin, Jeff"}],"volume":10587,"doi":"10.1007/978-3-319-68288-4_8","user_id":"15504","_id":"56516","series_title":"Lecture Notes in Computer Science","publisher":"Springer","language":[{"iso":"eng"}],"page":"121–137","intvolume":"     10587","date_updated":"2024-10-10T12:52:20Z","author":[{"full_name":"Bourgaux, Camille","last_name":"Bourgaux","first_name":"Camille"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"year":"2017","title":"Temporal Query Answering in DL-Lite over Inconsistent Data","status":"public"},{"page":"44–57","_id":"56514","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","user_id":"15504","editor":[{"last_name":"Booth","first_name":"Richard","full_name":"Booth, Richard"},{"last_name":"Casini","first_name":"Giovanni","full_name":"Casini, Giovanni"},{"full_name":"Varzinczak, Ivan","last_name":"Varzinczak","first_name":"Ivan"}],"volume":1872,"year":"2017","status":"public","title":"Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot","author":[{"first_name":"Maximilian","last_name":"Pensel","full_name":"Pensel, Maximilian"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_updated":"2024-10-10T12:50:36Z","intvolume":"      1872","date_created":"2024-10-10T12:49:47Z","type":"conference","publication":"Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017","citation":{"bibtex":"@inproceedings{Pensel_Turhan_2017, series={CEUR Workshop Proceedings}, title={Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot}, volume={1872}, booktitle={Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017}, publisher={CEUR-WS.org}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Booth, Richard and Casini, Giovanni and Varzinczak, Ivan}, year={2017}, pages={44–57}, collection={CEUR Workshop Proceedings} }","ama":"Pensel M, Turhan A-Y. Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot. In: Booth R, Casini G, Varzinczak I, eds. <i>Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017</i>. Vol 1872. CEUR Workshop Proceedings. CEUR-WS.org; 2017:44–57.","mla":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot.” <i>Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017</i>, edited by Richard Booth et al., vol. 1872, CEUR-WS.org, 2017, pp. 44–57.","short":"M. Pensel, A.-Y. Turhan, in: R. Booth, G. Casini, I. Varzinczak (Eds.), Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017, CEUR-WS.org, 2017, pp. 44–57.","chicago":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot.” In <i>Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) Co-Located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017</i>, edited by Richard Booth, Giovanni Casini, and Ivan Varzinczak, 1872:44–57. CEUR Workshop Proceedings. CEUR-WS.org, 2017.","ieee":"M. Pensel and A.-Y. Turhan, “Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot,” in <i>Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017</i>, 2017, vol. 1872, pp. 44–57.","apa":"Pensel, M., &#38; Turhan, A.-Y. (2017). Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot. In R. Booth, G. Casini, &#38; I. Varzinczak (Eds.), <i>Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017</i> (Vol. 1872, pp. 44–57). CEUR-WS.org."}},{"status":"public","year":"2017","title":"Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\)","author":[{"last_name":"Pensel","first_name":"Maximilian","full_name":"Pensel, Maximilian"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}],"date_updated":"2024-10-10T12:51:35Z","intvolume":"     10377","page":"78–84","language":[{"iso":"eng"}],"_id":"56515","series_title":"Lecture Notes in Computer Science","publisher":"Springer","doi":"10.1007/978-3-319-61660-5_9","user_id":"15504","editor":[{"first_name":"Marcello","last_name":"Balduccini","full_name":"Balduccini, Marcello"},{"last_name":"Janhunen","first_name":"Tomi","full_name":"Janhunen, Tomi"}],"volume":10377,"publication":"Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings","citation":{"apa":"Pensel, M., &#38; Turhan, A.-Y. (2017). Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\). In M. Balduccini &#38; T. Janhunen (Eds.), <i>Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings</i> (Vol. 10377, pp. 78–84). Springer. <a href=\"https://doi.org/10.1007/978-3-319-61660-5_9\">https://doi.org/10.1007/978-3-319-61660-5_9</a>","ieee":"M. Pensel and A.-Y. Turhan, “Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\),” in <i>Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings</i>, 2017, vol. 10377, pp. 78–84, doi: <a href=\"https://doi.org/10.1007/978-3-319-61660-5_9\">10.1007/978-3-319-61660-5_9</a>.","short":"M. Pensel, A.-Y. Turhan, in: M. Balduccini, T. Janhunen (Eds.), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, Springer, 2017, pp. 78–84.","chicago":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\).” In <i>Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings</i>, edited by Marcello Balduccini and Tomi Janhunen, 10377:78–84. Lecture Notes in Computer Science. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-61660-5_9\">https://doi.org/10.1007/978-3-319-61660-5_9</a>.","mla":"Pensel, Maximilian, and Anni-Yasmin Turhan. “Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\).” <i>Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings</i>, edited by Marcello Balduccini and Tomi Janhunen, vol. 10377, Springer, 2017, pp. 78–84, doi:<a href=\"https://doi.org/10.1007/978-3-319-61660-5_9\">10.1007/978-3-319-61660-5_9</a>.","ama":"Pensel M, Turhan A-Y. Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\). In: Balduccini M, Janhunen T, eds. <i>Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings</i>. Vol 10377. Lecture Notes in Computer Science. Springer; 2017:78–84. doi:<a href=\"https://doi.org/10.1007/978-3-319-61660-5_9\">10.1007/978-3-319-61660-5_9</a>","bibtex":"@inproceedings{Pensel_Turhan_2017, series={Lecture Notes in Computer Science}, title={Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\)}, volume={10377}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-61660-5_9\">10.1007/978-3-319-61660-5_9</a>}, booktitle={Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings}, publisher={Springer}, author={Pensel, Maximilian and Turhan, Anni-Yasmin}, editor={Balduccini, Marcello and Janhunen, Tomi}, year={2017}, pages={78–84}, collection={Lecture Notes in Computer Science} }"},"date_created":"2024-10-10T12:51:10Z","type":"conference"}]