Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
25 Publications
2025 | Conference Paper | LibreCat-ID: 58975 | 
Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: 22th European Semantic Web Conference (ESWC 2025), Portorož, Slovenia, n.d., p. ( accepted for publication).
LibreCat
| Download (ext.)
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: 22th European Semantic Web Conference (ESWC 2025), Portorož, Slovenia, n.d., p. ( accepted for publication).
2025 | Conference Paper | LibreCat-ID: 58976 |
Soft and Constrained Hypertree Width
M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, G. Gottlob, in: 44th ACM Symposium on Principles of Database Systems (PODS) 2025, Berlin, Germany, n.d., p. ( accepted for publication).
LibreCat
| Download (ext.)
M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, G. Gottlob, in: 44th ACM Symposium on Principles of Database Systems (PODS) 2025, Berlin, Germany, n.d., p. ( accepted for publication).
2025 | Conference Paper | LibreCat-ID: 59840 |
Common Foundations for SHACL, ShEx, and PG-Schema
S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12.
LibreCat
| DOI
| Download (ext.)
S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12.
2024 | Conference Paper | LibreCat-ID: 55479
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, Springer, 2024.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, Springer, 2024.
2024 | Conference Paper | LibreCat-ID: 56158
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
LibreCat
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
2024 | Conference Paper | LibreCat-ID: 56159
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
LibreCat
| Files available
R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
2023 | Journal Article | LibreCat-ID: 52861
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
LibreCat
| DOI
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
2023 | Conference Paper | LibreCat-ID: 52913
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
LibreCat
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
2023 | Conference Paper | LibreCat-ID: 54997
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
LibreCat
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
2023 | Conference Paper | LibreCat-ID: 56096
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: K. Gal, A. Nowé, G.J. Nalepa, R. Fairstein, R. Radulescu (Eds.), ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), IOS Press, 2023, pp. 708–715.
LibreCat
| DOI
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: K. Gal, A. Nowé, G.J. Nalepa, R. Fairstein, R. Radulescu (Eds.), ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), IOS Press, 2023, pp. 708–715.
2023 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
2022 | Journal Article | LibreCat-ID: 52862
A Double Take at Conferences: The Hybrid Format
A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
LibreCat
| DOI
A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
2022 | Conference Paper | LibreCat-ID: 52923
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
LibreCat
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: O. Arieli, G. Casini, L. Giordano (Eds.), Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, CEUR-WS.org, 2022, pp. 159–162.
2022 | Conference (Editor) | LibreCat-ID: 52925
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
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.
LibreCat
| DOI
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.
2022 | Conference Paper | LibreCat-ID: 52924
Computing generalizations of temporal ϵL concepts with next and global
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.
LibreCat
| DOI
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.
2022 | Journal Article | LibreCat-ID: 52918
Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
LibreCat
| DOI
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, Theory Pract. Log. Program. 22 (2022) 162–192.
2022 | Conference Paper | LibreCat-ID: 52920
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)
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.
LibreCat
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.
2022 | Conference Paper | LibreCat-ID: 52921
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract)
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.
LibreCat
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.
2022 | Conference Paper | LibreCat-ID: 52922
User-aware Explications of Ontology Consequences: Levelling Technicality
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.
LibreCat
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.
2021 | Conference Paper | LibreCat-ID: 52927
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
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.
LibreCat
| DOI
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.