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 |

Löhnert, B., Augsten, N., Okulmus, C., & Ortiz, M. (2025). Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite. 22th European Semantic Web Conference (ESWC 2025), Portorož, Slovenia.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |

Lanzinger, M., Okulmus, C., Pichler, R., Selzer, A., & Gottlob, G. (2025). Soft and Constrained Hypertree Width. 44th ACM Symposium on Principles of Database Systems (PODS) 2025, Berlin, Germany.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58967 |

Ahmetaj, S., Boneva, I., Hidders, J., Hose, K., Jakubowski, M., Labra Gayo, J. E., Martens, W., Murlak, F., Okulmus, C., Polleres, A., Savkovic, O., & Šimkus, M. (2025). Common Foundations for SHACL, ShEx, and PG-Schema. ACM Web Conference 2025 , Sidney, Australia.
LibreCat
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55479
Peñaloza, R., & Turhan, A.-Y. (2024). Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. In S. Kirrane, M. Simkus, A. Soylu, & D. Roman (Eds.), Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings. Springer. https://doi.org/10.1007/978-3-031-72407-7\_11
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil, O. F., Patrizi, F., Perelli, G., & Turhan, A.-Y. (2024). Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). 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 (Vol. 3739). CEUR-WS.org.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza, R., & Turhan, A.-Y. (2024). Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. 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 (Vol. 3739). CEUR-WS.org.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 52861
Gil, O. F., Patrizi, F., Perelli, G., & Turhan, A.-Y. (2023). Optimal Alignment of Temporal Knowledge Bases. CoRR, abs/2307.15439. https://doi.org/10.48550/ARXIV.2307.15439
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
Turhan, A.-Y. (2023). Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). 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 (Vol. 3515). CEUR-WS.org.
LibreCat
2023 | Conference Paper | LibreCat-ID: 54997
Turhan, A.-Y. (2023). Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). 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 (Vol. 3515). CEUR-WS.org.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
Gil, O. F., Patrizi, F., Perelli, G., & Turhan, A.-Y. (2023). Optimal Alignment of Temporal Knowledge Bases. 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) (Vol. 372, pp. 708–715). IOS Press. https://doi.org/10.3233/FAIA230335
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, I., & Turhan, A.-Y. (2023). Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models. In Logics in Artificial Intelligence. Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-43619-2_36
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52862
Turhan, A.-Y. (2022). A Double Take at Conferences: The Hybrid Format. KI - Künstliche Intelligenz, 36(1), 1–4. https://doi.org/10.1007/s13218-022-00758-6
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
de Camargo e Souza Câmara, I., & Turhan, A.-Y. (2022). Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\). 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 (Vol. 3197, pp. 159–162). CEUR-WS.org.
LibreCat
2022 | Conference (Editor) | LibreCat-ID: 52925
Governatori, G., & Turhan, A.-Y. (Eds.). (2022). Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings (Vol. 13752). Springer. https://doi.org/10.1007/978-3-031-21541-4
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa, S., & Turhan, A.-Y. (2022). Computing generalizations of temporal ϵL concepts with next and global. 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 (pp. 903–910). ACM. https://doi.org/10.1145/3477314.3507136
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52918
Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., & Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. Theory Pract. Log. Program., 22(2), 162–192. https://doi.org/10.1017/S1471068421000466
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
Baader, F., Koopmann, P., Michel, F., Turhan, A.-Y., & Zarrieß, B. (2022). Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). 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 (Vol. 3263). CEUR-WS.org.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
Tirtarasa, S., & 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, & 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 (Vol. 3263). CEUR-WS.org.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza, R., & Turhan, A.-Y. (2022). User-aware Explications of Ontology Consequences: Levelling Technicality. 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 (Vol. 3242, pp. 90–101). CEUR-WS.org.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, O. F., & Turhan, A.-Y. (2021). Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. 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, 6340–6348. https://doi.org/10.1609/AAAI.V35I7.16787
LibreCat
| DOI