[{"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","last_name":"Dubslaff","first_name":"Clemens"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}],"user_id":"15504","volume":2663,"editor":[{"last_name":"Borgwardt","first_name":"Stefan","full_name":"Borgwardt, Stefan"},{"full_name":"Meyer, Thomas","last_name":"Meyer","first_name":"Thomas"}],"_id":"52936","series_title":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"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":{"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.","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} }","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.","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."},"type":"conference","department":[{"_id":"888"}],"date_created":"2024-03-26T11:22:26Z"},{"date_updated":"2024-10-14T08:06:57Z","intvolume":"      2663","title":"Relaxed Regular Path Queries in Lightweight DLs (Extended Abstract)","year":"2020","status":"public","author":[{"first_name":"Oliver Fernández","last_name":"Gil","full_name":"Gil, Oliver Fernández"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"user_id":"15504","volume":2663,"editor":[{"last_name":"Borgwardt","first_name":"Stefan","full_name":"Borgwardt, Stefan"},{"full_name":"Meyer, Thomas","first_name":"Thomas","last_name":"Meyer"}],"publisher":"CEUR-WS.org","_id":"56489","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"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":{"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.","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.","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.","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."},"type":"conference","date_created":"2024-10-10T12:19:43Z"},{"doi":"10.3233/SW-180337","user_id":"15504","volume":10,"page":"475–521","language":[{"iso":"eng"}],"_id":"56491","date_updated":"2024-10-10T12:23:22Z","intvolume":"        10","status":"public","title":"Ontology-mediated query answering over temporal and inconsistent data","year":"2019","author":[{"full_name":"Bourgaux, Camille","last_name":"Bourgaux","first_name":"Camille"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}],"type":"journal_article","date_created":"2024-10-10T12:22:53Z","publication":"Semantic Web","issue":"3","citation":{"mla":"Bourgaux, Camille, et al. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” <i>Semantic Web</i>, vol. 10, no. 3, 2019, pp. 475–521, doi:<a href=\"https://doi.org/10.3233/SW-180337\">10.3233/SW-180337</a>.","apa":"Bourgaux, C., Koopmann, P., &#38; Turhan, A.-Y. (2019). Ontology-mediated query answering over temporal and inconsistent data. <i>Semantic Web</i>, <i>10</i>(3), 475–521. <a href=\"https://doi.org/10.3233/SW-180337\">https://doi.org/10.3233/SW-180337</a>","ieee":"C. Bourgaux, P. Koopmann, and A.-Y. Turhan, “Ontology-mediated query answering over temporal and inconsistent data,” <i>Semantic Web</i>, vol. 10, no. 3, pp. 475–521, 2019, doi: <a href=\"https://doi.org/10.3233/SW-180337\">10.3233/SW-180337</a>.","chicago":"Bourgaux, Camille, Patrick Koopmann, and Anni-Yasmin Turhan. “Ontology-Mediated Query Answering over Temporal and Inconsistent Data.” <i>Semantic Web</i> 10, no. 3 (2019): 475–521. <a href=\"https://doi.org/10.3233/SW-180337\">https://doi.org/10.3233/SW-180337</a>.","ama":"Bourgaux C, Koopmann P, Turhan A-Y. Ontology-mediated query answering over temporal and inconsistent data. <i>Semantic Web</i>. 2019;10(3):475–521. doi:<a href=\"https://doi.org/10.3233/SW-180337\">10.3233/SW-180337</a>","short":"C. Bourgaux, P. Koopmann, A.-Y. Turhan, Semantic Web 10 (2019) 475–521.","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} }"}},{"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","date_created":"2024-10-10T12:25:17Z","type":"conference","author":[{"full_name":"Lutz, Carsten","last_name":"Lutz","first_name":"Carsten"},{"full_name":"Sattler, Uli","first_name":"Uli","last_name":"Sattler"},{"first_name":"Cesare","last_name":"Tinelli","full_name":"Tinelli, Cesare"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"},{"full_name":"Wolter, Frank","first_name":"Frank","last_name":"Wolter"}],"status":"public","title":"A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction","year":"2019","intvolume":"     11560","date_updated":"2024-10-10T12:25:41Z","language":[{"iso":"eng"}],"_id":"56493","publisher":"Springer","series_title":"Lecture Notes in Computer Science","page":"1–14","editor":[{"first_name":"Carsten","last_name":"Lutz","full_name":"Lutz, Carsten"},{"full_name":"Sattler, Uli","last_name":"Sattler","first_name":"Uli"},{"first_name":"Cesare","last_name":"Tinelli","full_name":"Tinelli, Cesare"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"full_name":"Wolter, Frank","first_name":"Frank","last_name":"Wolter"}],"volume":11560,"doi":"10.1007/978-3-030-22102-7_1","user_id":"15504"},{"date_created":"2024-10-10T12:27:40Z","type":"conference","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>.","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} }","ama":"Dubslaff C, Koopmann P, Turhan A-Y. Ontology-Mediated Probabilistic Model Checking. In: Ahrendt W, Tarifa SLT, eds. <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>. Vol 11918. Lecture Notes in Computer Science. Springer; 2019:194–211. doi:<a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">10.1007/978-3-030-34968-4_11</a>","ieee":"C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Ontology-Mediated Probabilistic Model Checking,” in <i>Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings</i>, 2019, vol. 11918, pp. 194–211, doi: <a href=\"https://doi.org/10.1007/978-3-030-34968-4_11\">10.1007/978-3-030-34968-4_11</a>.","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>","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","series_title":"Lecture Notes in Computer Science","_id":"56498","language":[{"iso":"eng"}],"publisher":"Springer","page":"194–211","volume":11918,"editor":[{"full_name":"Ahrendt, Wolfgang","first_name":"Wolfgang","last_name":"Ahrendt"},{"first_name":"Silvia Lizeth Tapia","last_name":"Tarifa","full_name":"Tarifa, Silvia Lizeth Tapia"}],"user_id":"15504","doi":"10.1007/978-3-030-34968-4_11","author":[{"first_name":"Clemens","last_name":"Dubslaff","full_name":"Dubslaff, Clemens"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}],"year":"2019","status":"public","title":"Ontology-Mediated Probabilistic Model Checking","intvolume":"     11918","date_updated":"2024-10-10T12:28:01Z"},{"intvolume":"        65","date_updated":"2024-10-10T12:26:48Z","author":[{"first_name":"Christian","last_name":"Alrabbaa","full_name":"Alrabbaa, Christian"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"year":"2019","title":"Practical Query Rewriting for DL-Lite with Numerical Predicates","status":"public","editor":[{"first_name":"Diego","last_name":"Calvanese","full_name":"Calvanese, Diego"},{"full_name":"Iocchi, Luca","last_name":"Iocchi","first_name":"Luca"}],"volume":65,"doi":"10.29007/GQLL","user_id":"15504","_id":"56496","series_title":"EPiC Series in Computing","language":[{"iso":"eng"}],"publisher":"EasyChair","page":"15–27","citation":{"ama":"Alrabbaa C, Koopmann P, Turhan A-Y. Practical Query Rewriting for DL-Lite with Numerical Predicates. In: Calvanese D, Iocchi L, eds. <i>GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019</i>. Vol 65. EPiC Series in Computing. EasyChair; 2019:15–27. doi:<a href=\"https://doi.org/10.29007/GQLL\">10.29007/GQLL</a>","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} }","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>.","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.","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>."},"publication":"GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019","type":"conference","date_created":"2024-10-10T12:26:25Z"},{"publisher":"ACM","_id":"56499","language":[{"iso":"eng"}],"page":"213–221","editor":[{"full_name":"Kejriwal, Mayank","first_name":"Mayank","last_name":"Kejriwal"},{"last_name":"Szekely","first_name":"Pedro A.","full_name":"Szekely, Pedro A."},{"first_name":"Raphaël","last_name":"Troncy","full_name":"Troncy, Raphaël"}],"doi":"10.1145/3360901.3364429","user_id":"15504","author":[{"full_name":"Ngomo, Axel-Cyrille Ngonga","first_name":"Axel-Cyrille Ngonga","last_name":"Ngomo"},{"full_name":"Conrads, Felix","last_name":"Conrads","first_name":"Felix"},{"last_name":"Pensel","first_name":"Maximilian","full_name":"Pensel, Maximilian"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"status":"public","title":"Congenial Benchmarking of RDF Storage Solutions","year":"2019","date_updated":"2024-10-10T12:29:02Z","date_created":"2024-10-10T12:28:33Z","type":"conference","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>.","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} }","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>","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>.","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>","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>."},"publication":"Proceedings of the 10th International Conference on Knowledge Capture, (K-CAP) 2019, Marina Del Rey, CA, USA, November 19-21, 2019"},{"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:31:12Z","type":"conference_editor","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","intvolume":"     11560","date_updated":"2024-10-10T12:31:39Z","_id":"56502","publisher":"Springer","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"volume":11560,"editor":[{"full_name":"Lutz, Carsten","first_name":"Carsten","last_name":"Lutz"},{"last_name":"Sattler","first_name":"Uli","full_name":"Sattler, Uli"},{"full_name":"Tinelli, Cesare","first_name":"Cesare","last_name":"Tinelli"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"},{"full_name":"Wolter, Frank","last_name":"Wolter","first_name":"Frank"}],"user_id":"15504","doi":"10.1007/978-3-030-22102-7"},{"date_updated":"2024-10-10T12:30:38Z","author":[{"first_name":"Friedrich","last_name":"Michel","full_name":"Michel, Friedrich"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"},{"full_name":"Zarrieß, Benjamin","first_name":"Benjamin","last_name":"Zarrieß"}],"year":"2019","status":"public","title":"Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner","editor":[{"full_name":"Fodor, Paul","last_name":"Fodor","first_name":"Paul"},{"first_name":"Marco","last_name":"Montali","full_name":"Montali, Marco"},{"full_name":"Calvanese, Diego","first_name":"Diego","last_name":"Calvanese"},{"full_name":"Roman, Dumitru","last_name":"Roman","first_name":"Dumitru"}],"user_id":"15504","_id":"56500","language":[{"iso":"eng"}],"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.","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.","short":"F. Michel, A.-Y. Turhan, B. Zarrieß, in: P. Fodor, M. Montali, D. Calvanese, D. Roman (Eds.), 2019.","mla":"Michel, Friedrich, et al. <i>Efficient TBox Reasoning with Value Restrictions - Introducing the \\(\\mathscrF\\)_o \\textbackslashtextitwer Reasoner</i>. Edited by Paul Fodor et al., 2019.","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} }"},"type":"conference","date_created":"2024-10-10T12:29:32Z"},{"type":"conference_editor","date_created":"2024-10-10T12:36:14Z","citation":{"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.","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.","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.","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."},"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"}],"user_id":"15504","_id":"56508","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"series_title":"CEUR Workshop Proceedings","intvolume":"      2157","date_updated":"2024-10-10T12:36:33Z","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"},{"intvolume":"     11117","date_updated":"2024-10-10T12:45:12Z","publication_identifier":{"isbn":["978-3-030-00110-0"]},"title":"KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings","year":"2018","status":"public","editor":[{"full_name":"Trollmann, Frank","last_name":"Trollmann","first_name":"Frank"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"volume":11117,"doi":"10.1007/978-3-030-00111-7","user_id":"15504","publisher":"Springer","_id":"56509","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","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.","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>.","short":"F. Trollmann, A.-Y. Turhan, eds., KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings, Springer, 2018.","mla":"Trollmann, Frank, and Anni-Yasmin Turhan, editors. <i>KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings</i>. Springer, 2018, doi:<a href=\"https://doi.org/10.1007/978-3-030-00111-7\">10.1007/978-3-030-00111-7</a>.","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} }"},"type":"conference_editor","date_created":"2024-10-10T12:44:49Z"},{"publication":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018","citation":{"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} }","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.","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.","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."},"type":"conference","date_created":"2024-10-10T12:35:14Z","date_updated":"2024-10-10T12:35:30Z","title":"Query Answering for Rough EL Ontologies","status":"public","year":"2018","author":[{"full_name":"Peñaloza, Rafael","first_name":"Rafael","last_name":"Peñaloza"},{"full_name":"Thost, Veronika","last_name":"Thost","first_name":"Veronika"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"user_id":"15504","editor":[{"full_name":"Thielscher, Michael","last_name":"Thielscher","first_name":"Michael"},{"last_name":"Toni","first_name":"Francesca","full_name":"Toni, Francesca"},{"last_name":"Wolter","first_name":"Frank","full_name":"Wolter, Frank"}],"page":"399–408","_id":"56507","publisher":"AAAI Press","language":[{"iso":"eng"}]},{"volume":103,"user_id":"15504","doi":"10.1016/J.IJAR.2018.08.005","_id":"56503","language":[{"iso":"eng"}],"page":"28–70","intvolume":"       103","date_updated":"2024-10-10T12:32:32Z","author":[{"full_name":"Pensel, Maximilian","last_name":"Pensel","first_name":"Maximilian"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"year":"2018","status":"public","title":"Reasoning in the Defeasible Description Logic \\(ϵ\\)\\(\\mathscrL\\) - computing standard inferences under rational and relevant semantics","type":"journal_article","date_created":"2024-10-10T12:32:12Z","citation":{"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>.","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>","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>.","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>.","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>","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."},{"status":"public","title":"Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot","year":"2018","author":[{"full_name":"Pensel, Maximilian","first_name":"Maximilian","last_name":"Pensel"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}],"date_updated":"2024-10-14T08:09:32Z","intvolume":"      2211","language":[{"iso":"eng"}],"_id":"56504","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","user_id":"15504","volume":2211,"editor":[{"full_name":"Ortiz, Magdalena","last_name":"Ortiz","first_name":"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":{"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.","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.","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.","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.","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."},"date_created":"2024-10-10T12:33:03Z","type":"conference"},{"issue":"7","publication":"FLAP","citation":{"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).","short":"T. Lukasiewicz, R. Peñaloza, A.-Y. Turhan, FLAP 4 (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.","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."},"type":"journal_article","date_created":"2024-10-10T12:45:59Z","date_updated":"2024-10-10T12:46:30Z","intvolume":"         4","year":"2017","status":"public","title":"Preface to the Special Issue on Reasoning about Preferences, Uncertainty, and Vagueness","author":[{"full_name":"Lukasiewicz, Thomas","last_name":"Lukasiewicz","first_name":"Thomas"},{"full_name":"Peñaloza, Rafael","first_name":"Rafael","last_name":"Peñaloza"},{"id":"104470","first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin"}],"user_id":"15504","volume":4,"_id":"56510","language":[{"iso":"eng"}]},{"citation":{"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.","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>.","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} }","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>."},"publication":"The Semantic Web - ISWC 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I","type":"conference","date_created":"2024-10-10T12:52:02Z","intvolume":"     10587","date_updated":"2024-10-10T12:52:20Z","author":[{"full_name":"Bourgaux, Camille","last_name":"Bourgaux","first_name":"Camille"},{"id":"104470","last_name":"Turhan","first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin"}],"title":"Temporal Query Answering in DL-Lite over Inconsistent Data","year":"2017","status":"public","volume":10587,"editor":[{"first_name":"Claudia","last_name":"d’Amato","full_name":"d’Amato, Claudia"},{"first_name":"Miriam","last_name":"Fernández","full_name":"Fernández, Miriam"},{"last_name":"Tamma","first_name":"Valentina A. M.","full_name":"Tamma, Valentina A. M."},{"full_name":"Lécué, Freddy","first_name":"Freddy","last_name":"Lécué"},{"last_name":"Cudré-Mauroux","first_name":"Philippe","full_name":"Cudré-Mauroux, Philippe"},{"first_name":"Juan F.","last_name":"Sequeda","full_name":"Sequeda, Juan F."},{"last_name":"Lange","first_name":"Christoph","full_name":"Lange, Christoph"},{"last_name":"Heflin","first_name":"Jeff","full_name":"Heflin, Jeff"}],"user_id":"15504","doi":"10.1007/978-3-319-68288-4_8","series_title":"Lecture Notes in Computer Science","_id":"56516","language":[{"iso":"eng"}],"publisher":"Springer","page":"121–137"},{"intvolume":"      1872","date_updated":"2024-10-10T12:50:36Z","author":[{"last_name":"Pensel","first_name":"Maximilian","full_name":"Pensel, Maximilian"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"}],"year":"2017","status":"public","title":"Making Quantification Relevant Again - the Case of Defeasible EL_\\textbackslashbot","volume":1872,"editor":[{"first_name":"Richard","last_name":"Booth","full_name":"Booth, Richard"},{"full_name":"Casini, Giovanni","first_name":"Giovanni","last_name":"Casini"},{"first_name":"Ivan","last_name":"Varzinczak","full_name":"Varzinczak, Ivan"}],"user_id":"15504","series_title":"CEUR Workshop Proceedings","_id":"56514","publisher":"CEUR-WS.org","language":[{"iso":"eng"}],"page":"44–57","citation":{"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.","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.","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} }","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.","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.","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.","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."},"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","type":"conference","date_created":"2024-10-10T12:49:47Z"},{"type":"conference","date_created":"2024-10-10T12:51:10Z","publication":"Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings","citation":{"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>.","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>.","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} }","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>."},"user_id":"15504","doi":"10.1007/978-3-319-61660-5_9","volume":10377,"editor":[{"full_name":"Balduccini, Marcello","first_name":"Marcello","last_name":"Balduccini"},{"last_name":"Janhunen","first_name":"Tomi","full_name":"Janhunen, Tomi"}],"page":"78–84","_id":"56515","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","publisher":"Springer","date_updated":"2024-10-10T12:51:35Z","intvolume":"     10377","year":"2017","status":"public","title":"Including Quantification in Defeasible Reasoning for the Description Logic EL\\(_\\mbox\\(\\perp\\)\\)","author":[{"full_name":"Pensel, Maximilian","first_name":"Maximilian","last_name":"Pensel"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan","id":"104470"}]},{"citation":{"mla":"Koopmann, Patrick, et al. “Energy-Efficiency of OWL Reasoners - Frequency Matters.” <i>Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings</i>, edited by Zhe Wang et al., vol. 10675, Springer, 2017, pp. 86–101, doi:<a href=\"https://doi.org/10.1007/978-3-319-70682-5_6\">10.1007/978-3-319-70682-5_6</a>.","apa":"Koopmann, P., Hähnel, M., &#38; Turhan, A.-Y. (2017). Energy-Efficiency of OWL Reasoners - Frequency Matters. In Z. Wang, A.-Y. Turhan, K. Wang, &#38; X. Zhang (Eds.), <i>Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings</i> (Vol. 10675, pp. 86–101). Springer. <a href=\"https://doi.org/10.1007/978-3-319-70682-5_6\">https://doi.org/10.1007/978-3-319-70682-5_6</a>","ieee":"P. Koopmann, M. Hähnel, and A.-Y. Turhan, “Energy-Efficiency of OWL Reasoners - Frequency Matters,” in <i>Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings</i>, 2017, vol. 10675, pp. 86–101, doi: <a href=\"https://doi.org/10.1007/978-3-319-70682-5_6\">10.1007/978-3-319-70682-5_6</a>.","short":"P. Koopmann, M. Hähnel, A.-Y. Turhan, in: Z. Wang, A.-Y. Turhan, K. Wang, X. Zhang (Eds.), Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings, Springer, 2017, pp. 86–101.","ama":"Koopmann P, Hähnel M, Turhan A-Y. Energy-Efficiency of OWL Reasoners - Frequency Matters. In: Wang Z, Turhan A-Y, Wang K, Zhang X, eds. <i>Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings</i>. Vol 10675. Lecture Notes in Computer Science. Springer; 2017:86–101. doi:<a href=\"https://doi.org/10.1007/978-3-319-70682-5_6\">10.1007/978-3-319-70682-5_6</a>","chicago":"Koopmann, Patrick, Marcus Hähnel, and Anni-Yasmin Turhan. “Energy-Efficiency of OWL Reasoners - Frequency Matters.” In <i>Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings</i>, edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, and Xiaowang Zhang, 10675:86–101. Lecture Notes in Computer Science. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-70682-5_6\">https://doi.org/10.1007/978-3-319-70682-5_6</a>.","bibtex":"@inproceedings{Koopmann_Hähnel_Turhan_2017, series={Lecture Notes in Computer Science}, title={Energy-Efficiency of OWL Reasoners - Frequency Matters}, volume={10675}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-70682-5_6\">10.1007/978-3-319-70682-5_6</a>}, booktitle={Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings}, publisher={Springer}, author={Koopmann, Patrick and Hähnel, Marcus and Turhan, Anni-Yasmin}, editor={Wang, Zhe and Turhan, Anni-Yasmin and Wang, Kewen and Zhang, Xiaowang}, year={2017}, pages={86–101}, collection={Lecture Notes in Computer Science} }"},"publication":"Semantic Technology - 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings","date_created":"2024-10-10T12:48:59Z","type":"conference","author":[{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"full_name":"Hähnel, Marcus","last_name":"Hähnel","first_name":"Marcus"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"year":"2017","status":"public","title":"Energy-Efficiency of OWL Reasoners - Frequency Matters","intvolume":"     10675","date_updated":"2024-10-10T12:49:16Z","language":[{"iso":"eng"}],"_id":"56513","series_title":"Lecture Notes in Computer Science","publisher":"Springer","page":"86–101","volume":10675,"editor":[{"full_name":"Wang, Zhe","first_name":"Zhe","last_name":"Wang"},{"full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin","last_name":"Turhan"},{"last_name":"Wang","first_name":"Kewen","full_name":"Wang, Kewen"},{"full_name":"Zhang, Xiaowang","last_name":"Zhang","first_name":"Xiaowang"}],"user_id":"15504","doi":"10.1007/978-3-319-70682-5_6"},{"type":"conference","date_created":"2024-10-10T12:47:56Z","publication":"Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings","citation":{"mla":"Baader, Franz, et al. “Using Ontologies to Query Probabilistic Numerical Data.” <i>Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings</i>, edited by Clare Dixon and Marcelo Finger, vol. 10483, Springer, 2017, pp. 77–94, doi:<a href=\"https://doi.org/10.1007/978-3-319-66167-4_5\">10.1007/978-3-319-66167-4_5</a>.","bibtex":"@inproceedings{Baader_Koopmann_Turhan_2017, series={Lecture Notes in Computer Science}, title={Using Ontologies to Query Probabilistic Numerical Data}, volume={10483}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-66167-4_5\">10.1007/978-3-319-66167-4_5</a>}, booktitle={Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings}, publisher={Springer}, author={Baader, Franz and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Dixon, Clare and Finger, Marcelo}, year={2017}, pages={77–94}, collection={Lecture Notes in Computer Science} }","ama":"Baader F, Koopmann P, Turhan A-Y. Using Ontologies to Query Probabilistic Numerical Data. In: Dixon C, Finger M, eds. <i>Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings</i>. Vol 10483. Lecture Notes in Computer Science. Springer; 2017:77–94. doi:<a href=\"https://doi.org/10.1007/978-3-319-66167-4_5\">10.1007/978-3-319-66167-4_5</a>","ieee":"F. Baader, P. Koopmann, and A.-Y. Turhan, “Using Ontologies to Query Probabilistic Numerical Data,” in <i>Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings</i>, 2017, vol. 10483, pp. 77–94, doi: <a href=\"https://doi.org/10.1007/978-3-319-66167-4_5\">10.1007/978-3-319-66167-4_5</a>.","apa":"Baader, F., Koopmann, P., &#38; Turhan, A.-Y. (2017). Using Ontologies to Query Probabilistic Numerical Data. In C. Dixon &#38; M. Finger (Eds.), <i>Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings</i> (Vol. 10483, pp. 77–94). Springer. <a href=\"https://doi.org/10.1007/978-3-319-66167-4_5\">https://doi.org/10.1007/978-3-319-66167-4_5</a>","chicago":"Baader, Franz, Patrick Koopmann, and Anni-Yasmin Turhan. “Using Ontologies to Query Probabilistic Numerical Data.” In <i>Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings</i>, edited by Clare Dixon and Marcelo Finger, 10483:77–94. Lecture Notes in Computer Science. Springer, 2017. <a href=\"https://doi.org/10.1007/978-3-319-66167-4_5\">https://doi.org/10.1007/978-3-319-66167-4_5</a>.","short":"F. Baader, P. Koopmann, A.-Y. Turhan, in: C. Dixon, M. Finger (Eds.), Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, Springer, 2017, pp. 77–94."},"user_id":"15504","doi":"10.1007/978-3-319-66167-4_5","volume":10483,"editor":[{"first_name":"Clare","last_name":"Dixon","full_name":"Dixon, Clare"},{"first_name":"Marcelo","last_name":"Finger","full_name":"Finger, Marcelo"}],"page":"77–94","publisher":"Springer","_id":"56512","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","date_updated":"2024-10-10T12:48:14Z","intvolume":"     10483","status":"public","year":"2017","title":"Using Ontologies to Query Probabilistic Numerical Data","author":[{"full_name":"Baader, Franz","first_name":"Franz","last_name":"Baader"},{"full_name":"Koopmann, Patrick","first_name":"Patrick","last_name":"Koopmann"},{"id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan","first_name":"Anni-Yasmin"}]}]