[{"language":[{"iso":"eng"}],"user_id":"9503","series_title":"Lecture Notes in Computer Science","department":[{"_id":"888"}],"_id":"52925","status":"public","editor":[{"first_name":"Guido","full_name":"Governatori, Guido","last_name":"Governatori"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"}],"type":"conference_editor","doi":"10.1007/978-3-031-21541-4","title":"Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings","date_created":"2024-03-26T10:54:33Z","volume":13752,"date_updated":"2024-03-26T10:56:14Z","publisher":"Springer","citation":{"ieee":"G. Governatori and A.-Y. Turhan, Eds., <i>Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings</i>, vol. 13752. Springer, 2022.","chicago":"Governatori, Guido, and Anni-Yasmin Turhan, eds. <i>Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings</i>. Vol. 13752. Lecture Notes in Computer Science. Springer, 2022. <a href=\"https://doi.org/10.1007/978-3-031-21541-4\">https://doi.org/10.1007/978-3-031-21541-4</a>.","ama":"Governatori G, Turhan A-Y, eds. <i>Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings</i>. Vol 13752. Springer; 2022. doi:<a href=\"https://doi.org/10.1007/978-3-031-21541-4\">10.1007/978-3-031-21541-4</a>","mla":"Governatori, Guido, and Anni-Yasmin Turhan, editors. <i>Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings</i>. Springer, 2022, doi:<a href=\"https://doi.org/10.1007/978-3-031-21541-4\">10.1007/978-3-031-21541-4</a>.","short":"G. Governatori, A.-Y. Turhan, eds., Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, Springer, 2022.","bibtex":"@book{Governatori_Turhan_2022, series={Lecture Notes in Computer Science}, title={Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}, volume={13752}, DOI={<a href=\"https://doi.org/10.1007/978-3-031-21541-4\">10.1007/978-3-031-21541-4</a>}, publisher={Springer}, year={2022}, collection={Lecture Notes in Computer Science} }","apa":"Governatori, G., &#38; Turhan, A.-Y. (Eds.). (2022). <i>Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings</i> (Vol. 13752). Springer. <a href=\"https://doi.org/10.1007/978-3-031-21541-4\">https://doi.org/10.1007/978-3-031-21541-4</a>"},"intvolume":"     13752","year":"2022","publication_identifier":{"isbn":["978-3-031-21540-7"]}},{"year":"2022","page":"903–910","citation":{"mla":"Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” <i>SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022</i>, edited by Jiman Hong et al., ACM, 2022, pp. 903–910, doi:<a href=\"https://doi.org/10.1145/3477314.3507136\">10.1145/3477314.3507136</a>.","bibtex":"@inproceedings{Tirtarasa_Turhan_2022, title={Computing generalizations of temporal ϵL concepts with next and global}, DOI={<a href=\"https://doi.org/10.1145/3477314.3507136\">10.1145/3477314.3507136</a>}, booktitle={SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022}, publisher={ACM}, author={Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}, editor={Hong, Jiman and Bures, Miroslav and Park, Juw Won and Cerný, Tomás}, year={2022}, pages={903–910} }","short":"S. Tirtarasa, A.-Y. Turhan, in: J. Hong, M. Bures, J.W. Park, T. Cerný (Eds.), SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, ACM, 2022, pp. 903–910.","apa":"Tirtarasa, S., &#38; Turhan, A.-Y. (2022). Computing generalizations of temporal ϵL concepts with next and global. In J. Hong, M. Bures, J. W. Park, &#38; T. Cerný (Eds.), <i>SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022</i> (pp. 903–910). ACM. <a href=\"https://doi.org/10.1145/3477314.3507136\">https://doi.org/10.1145/3477314.3507136</a>","chicago":"Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” In <i>SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022</i>, edited by Jiman Hong, Miroslav Bures, Juw Won Park, and Tomás Cerný, 903–910. ACM, 2022. <a href=\"https://doi.org/10.1145/3477314.3507136\">https://doi.org/10.1145/3477314.3507136</a>.","ieee":"S. Tirtarasa and A.-Y. Turhan, “Computing generalizations of temporal ϵL concepts with next and global,” in <i>SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022</i>, 2022, pp. 903–910, doi: <a href=\"https://doi.org/10.1145/3477314.3507136\">10.1145/3477314.3507136</a>.","ama":"Tirtarasa S, Turhan A-Y. Computing generalizations of temporal ϵL concepts with next and global. In: Hong J, Bures M, Park JW, Cerný T, eds. <i>SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022</i>. ACM; 2022:903–910. doi:<a href=\"https://doi.org/10.1145/3477314.3507136\">10.1145/3477314.3507136</a>"},"title":"Computing generalizations of temporal ϵL concepts with next and global","doi":"10.1145/3477314.3507136","date_updated":"2024-06-03T08:07:35Z","publisher":"ACM","date_created":"2024-03-26T10:54:20Z","author":[{"last_name":"Tirtarasa","full_name":"Tirtarasa, Satyadharma","first_name":"Satyadharma"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470","last_name":"Turhan"}],"editor":[{"last_name":"Hong","full_name":"Hong, Jiman","first_name":"Jiman"},{"full_name":"Bures, Miroslav","last_name":"Bures","first_name":"Miroslav"},{"first_name":"Juw Won","full_name":"Park, Juw Won","last_name":"Park"},{"first_name":"Tomás","last_name":"Cerný","full_name":"Cerný, Tomás"}],"status":"public","publication":"SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022","type":"conference","language":[{"iso":"eng"}],"_id":"52924","department":[{"_id":"888"}],"user_id":"9503"},{"doi":"10.1017/S1471068421000466","title":"Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner","date_created":"2024-03-26T10:53:00Z","author":[{"last_name":"Baader","full_name":"Baader, Franz","first_name":"Franz"},{"last_name":"Koopmann","full_name":"Koopmann, Patrick","first_name":"Patrick"},{"full_name":"Michel, Friedrich","last_name":"Michel","first_name":"Friedrich"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"},{"full_name":"Zarrieß, Benjamin","last_name":"Zarrieß","first_name":"Benjamin"}],"volume":22,"date_updated":"2024-06-03T08:25:12Z","citation":{"bibtex":"@article{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, title={Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner}, volume={22}, DOI={<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>}, number={2}, journal={Theory Pract. Log. Program.}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, year={2022}, pages={162–192} }","short":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.","mla":"Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” <i>Theory Pract. Log. Program.</i>, vol. 22, no. 2, 2022, pp. 162–192, doi:<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>.","apa":"Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. <i>Theory Pract. Log. Program.</i>, <i>22</i>(2), 162–192. <a href=\"https://doi.org/10.1017/S1471068421000466\">https://doi.org/10.1017/S1471068421000466</a>","ama":"Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. <i>Theory Pract Log Program</i>. 2022;22(2):162–192. doi:<a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>","ieee":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner,” <i>Theory Pract. Log. Program.</i>, vol. 22, no. 2, pp. 162–192, 2022, doi: <a href=\"https://doi.org/10.1017/S1471068421000466\">10.1017/S1471068421000466</a>.","chicago":"Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” <i>Theory Pract. Log. Program.</i> 22, no. 2 (2022): 162–192. <a href=\"https://doi.org/10.1017/S1471068421000466\">https://doi.org/10.1017/S1471068421000466</a>."},"page":"162–192","intvolume":"        22","year":"2022","issue":"2","language":[{"iso":"eng"}],"user_id":"9503","department":[{"_id":"888"}],"_id":"52918","status":"public","type":"journal_article","publication":"Theory Pract. Log. Program."},{"year":"2022","citation":{"apa":"Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., &#38; Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In O. Arieli, M. Homola, J. C. Jung, &#38; M.-L. Mugnier (Eds.), <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i> (Vol. 3263). CEUR-WS.org.","bibtex":"@inproceedings{Baader_Koopmann_Michel_Turhan_Zarrieß_2022, series={CEUR Workshop Proceedings}, title={Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }","mla":"Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.","short":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.","ama":"Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.","chicago":"Baader, Franz, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” In <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.","ieee":"F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, and B. Zarrieß, “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract),” in <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, 2022, vol. 3263."},"intvolume":"      3263","title":"Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)","date_updated":"2024-10-14T08:04:11Z","publisher":"CEUR-WS.org","author":[{"first_name":"Franz","last_name":"Baader","full_name":"Baader, Franz"},{"full_name":"Koopmann, Patrick","last_name":"Koopmann","first_name":"Patrick"},{"first_name":"Friedrich","full_name":"Michel, Friedrich","last_name":"Michel"},{"first_name":"Anni-Yasmin","full_name":"Turhan, Anni-Yasmin","id":"104470","last_name":"Turhan"},{"last_name":"Zarrieß","full_name":"Zarrieß, Benjamin","first_name":"Benjamin"}],"date_created":"2024-03-26T10:53:20Z","volume":3263,"editor":[{"full_name":"Arieli, Ofer","last_name":"Arieli","first_name":"Ofer"},{"first_name":"Martin","last_name":"Homola","full_name":"Homola, Martin"},{"last_name":"Jung","full_name":"Jung, Jean Christoph","first_name":"Jean Christoph"},{"first_name":"Marie-Laure","full_name":"Mugnier, Marie-Laure","last_name":"Mugnier"}],"status":"public","type":"conference","publication":"Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022","language":[{"iso":"eng"}],"_id":"52920","user_id":"15504","series_title":"CEUR Workshop Proceedings","department":[{"_id":"888"}]},{"title":"A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)","volume":3263,"author":[{"last_name":"Tirtarasa","full_name":"Tirtarasa, Satyadharma","first_name":"Satyadharma"},{"last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470","first_name":"Anni-Yasmin"}],"date_created":"2024-03-26T10:53:35Z","publisher":"CEUR-WS.org","date_updated":"2024-10-14T08:02:28Z","intvolume":"      3263","citation":{"ieee":"S. Tirtarasa and A.-Y. Turhan, “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract),” in <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, 2022, vol. 3263.","chicago":"Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” In <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli, Martin Homola, Jean Christoph Jung, and Marie-Laure Mugnier, Vol. 3263. CEUR Workshop Proceedings. CEUR-WS.org, 2022.","ama":"Tirtarasa S, Turhan A-Y. A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.","bibtex":"@inproceedings{Tirtarasa_Turhan_2022, series={CEUR Workshop Proceedings}, title={A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)}, volume={3263}, booktitle={Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, publisher={CEUR-WS.org}, author={Tirtarasa, Satyadharma and Turhan, Anni-Yasmin}, editor={Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, year={2022}, collection={CEUR Workshop Proceedings} }","short":"S. Tirtarasa, A.-Y. Turhan, in: O. Arieli, M. Homola, J.C. Jung, M.-L. Mugnier (Eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022, CEUR-WS.org, 2022.","mla":"Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i>, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.","apa":"Tirtarasa, S., &#38; Turhan, A.-Y. (2022). A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). In O. Arieli, M. Homola, J. C. Jung, &#38; M.-L. Mugnier (Eds.), <i>Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022</i> (Vol. 3263). CEUR-WS.org."},"year":"2022","language":[{"iso":"eng"}],"department":[{"_id":"888"}],"series_title":"CEUR Workshop Proceedings","user_id":"15504","_id":"52921","status":"public","editor":[{"first_name":"Ofer","full_name":"Arieli, Ofer","last_name":"Arieli"},{"first_name":"Martin","full_name":"Homola, Martin","last_name":"Homola"},{"first_name":"Jean Christoph","full_name":"Jung, Jean Christoph","last_name":"Jung"},{"first_name":"Marie-Laure","full_name":"Mugnier, Marie-Laure","last_name":"Mugnier"}],"publication":"Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022","type":"conference"},{"citation":{"apa":"Peñaloza, R., &#38; Turhan, A.-Y. (2022). User-aware Explications of Ontology Consequences: Levelling Technicality. In C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, &#38; M. Thimm (Eds.), <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i> (Vol. 3242, pp. 90–101). CEUR-WS.org.","bibtex":"@inproceedings{Peñaloza_Turhan_2022, series={CEUR Workshop Proceedings}, title={User-aware Explications of Ontology Consequences: Levelling Technicality}, volume={3242}, booktitle={Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022}, publisher={CEUR-WS.org}, author={Peñaloza, Rafael and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Sauerwald, Kai and Thimm, Matthias}, year={2022}, pages={90–101}, collection={CEUR Workshop Proceedings} }","mla":"Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>, edited by Christoph Beierle et al., vol. 3242, CEUR-WS.org, 2022, pp. 90–101.","short":"R. Peñaloza, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, K. Sauerwald, M. Thimm (Eds.), Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022, CEUR-WS.org, 2022, pp. 90–101.","ieee":"R. Peñaloza and A.-Y. Turhan, “User-aware Explications of Ontology Consequences: Levelling Technicality,” in <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>, 2022, vol. 3242, pp. 90–101.","chicago":"Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” In <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, and Matthias Thimm, 3242:90–101. CEUR Workshop Proceedings. CEUR-WS.org, 2022.","ama":"Peñaloza R, Turhan A-Y. User-aware Explications of Ontology Consequences: Levelling Technicality. In: Beierle C, Ragni M, Stolzenburg F, Sauerwald K, Thimm M, eds. <i>Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022</i>. Vol 3242. CEUR Workshop Proceedings. CEUR-WS.org; 2022:90–101."},"page":"90–101","intvolume":"      3242","year":"2022","author":[{"first_name":"Rafael","full_name":"Peñaloza, Rafael","last_name":"Peñaloza"},{"last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470","first_name":"Anni-Yasmin"}],"date_created":"2024-03-26T10:53:53Z","volume":3242,"date_updated":"2024-10-14T08:04:50Z","publisher":"CEUR-WS.org","title":"User-aware Explications of Ontology Consequences: Levelling Technicality","type":"conference","publication":"Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022","status":"public","editor":[{"last_name":"Beierle","full_name":"Beierle, Christoph","first_name":"Christoph"},{"last_name":"Ragni","full_name":"Ragni, Marco","first_name":"Marco"},{"first_name":"Frieder","last_name":"Stolzenburg","full_name":"Stolzenburg, Frieder"},{"first_name":"Kai","last_name":"Sauerwald","full_name":"Sauerwald, Kai"},{"first_name":"Matthias","last_name":"Thimm","full_name":"Thimm, Matthias"}],"user_id":"15504","series_title":"CEUR Workshop Proceedings","department":[{"_id":"888"}],"_id":"52922","language":[{"iso":"eng"}]},{"status":"public","type":"conference","publication":"Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021","language":[{"iso":"eng"}],"_id":"52927","user_id":"9503","department":[{"_id":"888"}],"year":"2021","citation":{"apa":"Gil, O. F., &#38; Turhan, A.-Y. (2021). Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, 6340–6348. <a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">https://doi.org/10.1609/AAAI.V35I7.16787</a>","mla":"Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, AAAI Press, 2021, pp. 6340–6348, doi:<a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>.","short":"O.F. Gil, A.-Y. Turhan, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, AAAI Press, 2021, pp. 6340–6348.","bibtex":"@inproceedings{Gil_Turhan_2021, title={Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics}, DOI={<a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>}, booktitle={Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}, publisher={AAAI Press}, author={Gil, Oliver Fernández and Turhan, Anni-Yasmin}, year={2021}, pages={6340–6348} }","ieee":"O. F. Gil and A.-Y. Turhan, “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics,” in <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, 2021, pp. 6340–6348, doi: <a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>.","chicago":"Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” In <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>, 6340–6348. AAAI Press, 2021. <a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">https://doi.org/10.1609/AAAI.V35I7.16787</a>.","ama":"Gil OF, Turhan A-Y. Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. In: <i>Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021</i>. AAAI Press; 2021:6340–6348. doi:<a href=\"https://doi.org/10.1609/AAAI.V35I7.16787\">10.1609/AAAI.V35I7.16787</a>"},"page":"6340–6348","title":"Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics","doi":"10.1609/AAAI.V35I7.16787","date_updated":"2024-03-26T10:56:06Z","publisher":"AAAI Press","author":[{"first_name":"Oliver Fernández","full_name":"Gil, Oliver Fernández","last_name":"Gil"},{"first_name":"Anni-Yasmin","id":"104470","full_name":"Turhan, Anni-Yasmin","last_name":"Turhan"}],"date_created":"2024-03-26T10:55:06Z"},{"date_updated":"2024-03-26T10:56:09Z","volume":33,"author":[{"first_name":"Clemens","full_name":"Dubslaff, Clemens","last_name":"Dubslaff"},{"first_name":"Patrick","last_name":"Koopmann","full_name":"Koopmann, Patrick"},{"first_name":"Anni-Yasmin","last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470"}],"date_created":"2024-03-26T10:54:48Z","title":"Enhancing Probabilistic Model Checking with Ontologies","doi":"10.1007/S00165-021-00549-0","issue":"6","year":"2021","page":"885–921","intvolume":"        33","citation":{"apa":"Dubslaff, C., Koopmann, P., &#38; Turhan, A.-Y. (2021). Enhancing Probabilistic Model Checking with Ontologies. <i>Formal Aspects Comput.</i>, <i>33</i>(6), 885–921. <a href=\"https://doi.org/10.1007/S00165-021-00549-0\">https://doi.org/10.1007/S00165-021-00549-0</a>","short":"C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.","bibtex":"@article{Dubslaff_Koopmann_Turhan_2021, title={Enhancing Probabilistic Model Checking with Ontologies}, volume={33}, DOI={<a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>}, number={6}, journal={Formal Aspects Comput.}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, year={2021}, pages={885–921} }","mla":"Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” <i>Formal Aspects Comput.</i>, vol. 33, no. 6, 2021, pp. 885–921, doi:<a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>.","chicago":"Dubslaff, Clemens, Patrick Koopmann, and Anni-Yasmin Turhan. “Enhancing Probabilistic Model Checking with Ontologies.” <i>Formal Aspects Comput.</i> 33, no. 6 (2021): 885–921. <a href=\"https://doi.org/10.1007/S00165-021-00549-0\">https://doi.org/10.1007/S00165-021-00549-0</a>.","ieee":"C. Dubslaff, P. Koopmann, and A.-Y. Turhan, “Enhancing Probabilistic Model Checking with Ontologies,” <i>Formal Aspects Comput.</i>, vol. 33, no. 6, pp. 885–921, 2021, doi: <a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>.","ama":"Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. <i>Formal Aspects Comput</i>. 2021;33(6):885–921. doi:<a href=\"https://doi.org/10.1007/S00165-021-00549-0\">10.1007/S00165-021-00549-0</a>"},"_id":"52926","department":[{"_id":"888"}],"user_id":"9503","language":[{"iso":"eng"}],"publication":"Formal Aspects Comput.","type":"journal_article","status":"public"},{"series_title":"CEUR Workshop Proceedings","user_id":"15504","department":[{"_id":"888"}],"_id":"52928","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021","status":"public","editor":[{"first_name":"Christoph","full_name":"Beierle, Christoph","last_name":"Beierle"},{"first_name":"Marco","last_name":"Ragni","full_name":"Ragni, Marco"},{"first_name":"Frieder","last_name":"Stolzenburg","full_name":"Stolzenburg, Frieder"},{"first_name":"Matthias","full_name":"Thimm, Matthias","last_name":"Thimm"}],"date_created":"2024-03-26T10:55:22Z","author":[{"first_name":"Christian","full_name":"Alrabbaa, Christian","last_name":"Alrabbaa"},{"last_name":"Hieke","full_name":"Hieke, Willi","first_name":"Willi"},{"last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470","first_name":"Anni-Yasmin"}],"volume":2961,"date_updated":"2024-10-14T08:05:31Z","publisher":"CEUR-WS.org","title":"Counter Model Transformation for Explaining Non-Subsumption in EL","citation":{"apa":"Alrabbaa, C., Hieke, W., &#38; Turhan, A.-Y. (2021). Counter Model Transformation for Explaining Non-Subsumption in EL. In C. Beierle, M. Ragni, F. Stolzenburg, &#38; M. Thimm (Eds.), <i>Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021</i> (Vol. 2961, pp. 9–22). CEUR-WS.org.","mla":"Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption in EL.” <i>Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021</i>, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021, pp. 9–22.","short":"C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021, CEUR-WS.org, 2021, pp. 9–22.","bibtex":"@inproceedings{Alrabbaa_Hieke_Turhan_2021, series={CEUR Workshop Proceedings}, title={Counter Model Transformation for Explaining Non-Subsumption in EL}, volume={2961}, booktitle={Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021}, publisher={CEUR-WS.org}, author={Alrabbaa, Christian and Hieke, Willi and Turhan, Anni-Yasmin}, editor={Beierle, Christoph and Ragni, Marco and Stolzenburg, Frieder and Thimm, Matthias}, year={2021}, pages={9–22}, collection={CEUR Workshop Proceedings} }","ieee":"C. Alrabbaa, W. Hieke, and A.-Y. Turhan, “Counter Model Transformation for Explaining Non-Subsumption in EL,” in <i>Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021</i>, 2021, vol. 2961, pp. 9–22.","chicago":"Alrabbaa, Christian, Willi Hieke, and Anni-Yasmin Turhan. “Counter Model Transformation for Explaining Non-Subsumption in EL.” In <i>Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021</i>, edited by Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, 2961:9–22. CEUR Workshop Proceedings. CEUR-WS.org, 2021.","ama":"Alrabbaa C, Hieke W, Turhan A-Y. Counter Model Transformation for Explaining Non-Subsumption in EL. In: Beierle C, Ragni M, Stolzenburg F, Thimm M, eds. <i>Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence (KI 2021), September 28, 2021</i>. Vol 2961. CEUR Workshop Proceedings. CEUR-WS.org; 2021:9–22."},"page":"9–22","intvolume":"      2961","year":"2021"},{"language":[{"iso":"eng"}],"_id":"52930","department":[{"_id":"888"}],"user_id":"9503","status":"public","publication":"Künstliche Intell.","type":"journal_article","title":"Semantic Technologies for Situation Awareness","doi":"10.1007/S13218-020-00694-3","date_updated":"2024-03-26T10:56:01Z","volume":34,"author":[{"full_name":"Baader, Franz","last_name":"Baader","first_name":"Franz"},{"first_name":"Stefan","full_name":"Borgwardt, Stefan","last_name":"Borgwardt"},{"last_name":"Koopmann","full_name":"Koopmann, Patrick","first_name":"Patrick"},{"full_name":"Thost, Veronika","last_name":"Thost","first_name":"Veronika"},{"last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470","first_name":"Anni-Yasmin"}],"date_created":"2024-03-26T10:55:50Z","year":"2020","intvolume":"        34","page":"543–550","citation":{"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>","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>.","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>.","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} }","short":"F. Baader, S. Borgwardt, P. Koopmann, V. Thost, A.-Y. Turhan, Künstliche Intell. 34 (2020) 543–550.","apa":"Baader, F., Borgwardt, S., Koopmann, P., Thost, V., &#38; Turhan, A.-Y. (2020). Semantic Technologies for Situation Awareness. <i>Künstliche Intell.</i>, <i>34</i>(4), 543–550. <a href=\"https://doi.org/10.1007/S13218-020-00694-3\">https://doi.org/10.1007/S13218-020-00694-3</a>"},"issue":"4"},{"editor":[{"first_name":"Stefan","last_name":"Borgwardt","full_name":"Borgwardt, Stefan"},{"first_name":"Thomas","full_name":"Meyer, Thomas","last_name":"Meyer"}],"status":"public","type":"conference","publication":"Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020","language":[{"iso":"eng"}],"_id":"52936","user_id":"15504","series_title":"CEUR Workshop Proceedings","department":[{"_id":"888"}],"year":"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.","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.","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.","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.","mla":"Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” <i>Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020</i>, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.","bibtex":"@inproceedings{Dubslaff_Koopmann_Turhan_2020, series={CEUR Workshop Proceedings}, title={Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification}, volume={2663}, booktitle={Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, publisher={CEUR-WS.org}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }"},"intvolume":"      2663","title":"Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification","date_updated":"2024-10-14T08:06:21Z","publisher":"CEUR-WS.org","date_created":"2024-03-26T11:22:26Z","author":[{"last_name":"Dubslaff","full_name":"Dubslaff, Clemens","first_name":"Clemens"},{"last_name":"Koopmann","full_name":"Koopmann, Patrick","first_name":"Patrick"},{"last_name":"Turhan","full_name":"Turhan, Anni-Yasmin","id":"104470","first_name":"Anni-Yasmin"}],"volume":2663},{"issue":"2","publication_status":"published","publication_identifier":{"issn":["1861-2032","1861-2040"]},"citation":{"ama":"Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on Data Semantics</i>. 2016;5(2):55-75. doi:<a href=\"https://doi.org/10.1007/s13740-015-0055-y\">10.1007/s13740-015-0055-y</a>","ieee":"S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” <i>Journal on Data Semantics</i>, vol. 5, no. 2, pp. 55–75, 2016, doi: <a href=\"https://doi.org/10.1007/s13740-015-0055-y\">10.1007/s13740-015-0055-y</a>.","chicago":"Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” <i>Journal on Data Semantics</i> 5, no. 2 (2016): 55–75. <a href=\"https://doi.org/10.1007/s13740-015-0055-y\">https://doi.org/10.1007/s13740-015-0055-y</a>.","mla":"Borgwardt, Stefan, et al. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” <i>Journal on Data Semantics</i>, vol. 5, no. 2, Springer Science and Business Media LLC, 2016, pp. 55–75, doi:<a href=\"https://doi.org/10.1007/s13740-015-0055-y\">10.1007/s13740-015-0055-y</a>.","short":"S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.","bibtex":"@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={<a href=\"https://doi.org/10.1007/s13740-015-0055-y\">10.1007/s13740-015-0055-y</a>}, number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }","apa":"Borgwardt, S., Mailis, T., Peñaloza, R., &#38; Turhan, A.-Y. (2016). Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on Data Semantics</i>, <i>5</i>(2), 55–75. <a href=\"https://doi.org/10.1007/s13740-015-0055-y\">https://doi.org/10.1007/s13740-015-0055-y</a>"},"page":"55-75","intvolume":"         5","year":"2016","date_created":"2024-03-25T09:23:39Z","author":[{"last_name":"Borgwardt","full_name":"Borgwardt, Stefan","first_name":"Stefan"},{"first_name":"Theofilos","full_name":"Mailis, Theofilos","last_name":"Mailis"},{"first_name":"Rafael","full_name":"Peñaloza, Rafael","last_name":"Peñaloza"},{"last_name":"Turhan","id":"104470","full_name":"Turhan, Anni-Yasmin","first_name":"Anni-Yasmin"}],"volume":5,"date_updated":"2024-03-25T13:50:33Z","publisher":"Springer Science and Business Media LLC","doi":"10.1007/s13740-015-0055-y","title":"Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies","type":"journal_article","publication":"Journal on Data Semantics","status":"public","user_id":"9503","department":[{"_id":"888"}],"_id":"52803","language":[{"iso":"eng"}],"keyword":["Artificial Intelligence","Computer Networks and Communications","Information Systems"]}]