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.
32 Publications
2026 | Conference Paper | LibreCat-ID: 65178 | 
D. Böhm et al., “Selective Use of Yannakakis’ Algorithm for Consistent Performance Gains,” 2026.
LibreCat
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65489
C. Okulmus et al., “Common Foundations for Recursive Shape Languages,” presented at the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), Lisbon, Portugal, 2026.
LibreCat
2025 | Conference Paper | LibreCat-ID: 59840 |
S. Ahmetaj et al., “Common Foundations for SHACL, ShEx, and PG-Schema,” in Proceedings of the ACM on Web Conference 2025, Sidney, Australia, 2025, pp. 8–12, doi: 10.1145/3696410.3714694.
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63786 |
B. Löhnert, N. Augsten, C. Okulmus, and M. Ortiz, “Query Rewriting for Nested Navigational Queries over Property Graphs,” in Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025., 2025, vol. 4091.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63888
A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “Why not? Developing ABox Abduction beyond Repairs,” in Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, 2025.
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 60496 |
M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, and G. Gottlob, “Soft and Constrained Hypertree Width,” Proceedings of the ACM on Management of Data, vol. 3, no. 2, pp. 1–25, 2025, doi: 10.1145/3725251.
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 60497 |
B. Löhnert, N. Augsten, C. Okulmus, and M. Ortiz, “Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite,” in The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}, Portorož, Slovenia, 2025, vol. 15718, pp. 342--361, doi: 10.1007/978-3-031-94575-5_19.
LibreCat
| DOI
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 61471
G. Governatori and A.-Y. Turhan, “Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022),” Theory Pract. Log. Program., vol. 25, no. 2, pp. 132–133, 2025, doi: 10.1017/S1471068425000079.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61874
A. Haak, J. Kontinen, F. Müller, H. Vollmer, and F. Yang, “Counting of Teams in First-Order Team Logics,” ACM Transactions on Computational Logic, Art. no. 3771721, 2025, doi: 10.1145/3771721.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 55479
R. Peñaloza and A.-Y. Turhan, “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations,” in Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, 2024, doi: 10.1007/978-3-031-72407-7\_11.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract),” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
R. Peñaloza and A.-Y. Turhan, “Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations,” in Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, 2024, vol. 3739.
LibreCat
2023 | Journal Article | LibreCat-ID: 52861
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” CoRR, vol. abs/2307.15439, 2023, doi: 10.48550/ARXIV.2307.15439.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
A.-Y. Turhan, “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk),” in 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, 2023, vol. 3515.
LibreCat
2023 | Conference Paper | LibreCat-ID: 54997
A.-Y. Turhan, “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk),” in 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, 2023, vol. 3515.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
O. F. Gil, F. Patrizi, G. Perelli, and A.-Y. Turhan, “Optimal Alignment of Temporal Knowledge Bases,” in 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), 2023, vol. 372, pp. 708–715, doi: 10.3233/FAIA230335.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52862
A.-Y. Turhan, “A Double Take at Conferences: The Hybrid Format,” KI - Künstliche Intelligenz, vol. 36, no. 1, pp. 1–4, 2022, doi: 10.1007/s13218-022-00758-6.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
I. de Camargo e Souza Câmara and A.-Y. Turhan, “Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\),” in 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, 2022, vol. 3197, pp. 159–162.
LibreCat