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.
35 Publications
2026 | Conference Paper | LibreCat-ID: 65178 | 
Böhm, Daniela, Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, and Alexander Selzer. “Selective Use of Yannakakis’ Algorithm for Consistent Performance Gains.” In Proceedings of the 28th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2026). Tampere, Finland, 2026.
LibreCat
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65489
Okulmus, Cem, Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, et al. “Common Foundations for Recursive Shape Languages.” In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 65566
Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan. “ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics,” 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66378
Corman, Julien, Roman Kontchakov, and Cem Okulmus. “Querying Interval-Based Temporal Data with SPARQL.” In Proceedings of the 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026), 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66379
Gortworst, Bente, Cem Okulmus, Magdalena Ortiz, and Anni-Yasmin Turhan. “Reaching for the Stars in EL Concept Learning.” In Proceedings of the 39th International Workshop on Description Logics (DL 2026), 2026.
LibreCat
2025 | Conference Paper | LibreCat-ID: 59840 |
Ahmetaj, Shqiponja, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, Jose Emilio Labra Gayo, Wim Martens, et al. “Common Foundations for SHACL, ShEx, and PG-Schema.” In Proceedings of the ACM on Web Conference 2025, 8–12. ACM, 2025. https://doi.org/10.1145/3696410.3714694.
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63786 |
Löhnert, Bianca, Nikolaus Augsten, Cem Okulmus, and Magdalena 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., edited by Lidia Tendera, Yazmin Ibanez Garcia, and Patrick Koopmann, Vol. 4091. CEUR Workshop Proceedings. Opole, Poland, 2025.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63888
Haak, Anselm, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan. “Why Not? Developing ABox Abduction beyond Repairs.” In Proceedings of the 38th International Workshop on Description Logics - DL 2025, edited by Lidia Tendera, Yazmin Ibanez Garcia, and Patrick Koopmann, 2025.
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 61471
Governatori, Guido, and Anni-Yasmin 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. 25, no. 2 (2025): 132–133. https://doi.org/10.1017/S1471068425000079.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61874
Haak, Anselm, Juha Kontinen, Fabian Müller, Heribert Vollmer, and Fan Yang. “Counting of Teams in First-Order Team Logics.” ACM Transactions on Computational Logic, 2025. https://doi.org/10.1145/3771721.
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 60496 |
Lanzinger, Matthias, Cem Okulmus, Reinhard Pichler, Alexander Selzer, and Georg Gottlob. “Soft and Constrained Hypertree Width.” Proceedings of the ACM on Management of Data 3, no. 2 (2025): 1–25. https://doi.org/10.1145/3725251.
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 60497 |
Löhnert, Bianca, Nikolaus Augsten, Cem Okulmus, and Magdalena 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}, 15718:342--361. Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-94575-5_19.
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55479
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.” In Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, edited by Sabrina Kirrane, Mantas Simkus, Ahmet Soylu, and Dumitru Roman. LNCS. Springer, 2024. https://doi.org/10.1007/978-3-031-72407-7\_11.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin 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, edited by Laura Giordano, Jean Christoph Jung, and Ana Ozaki, Vol. 3739. CEUR Workshop Proceedings. CEUR-WS.org, 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza, Rafael, and Anni-Yasmin 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, edited by Laura Giordano, Jean Christoph Jung, and Ana Ozaki, Vol. 3739. CEUR Workshop Proceedings. CEUR-WS.org, 2024.
LibreCat
2023 | Journal Article | LibreCat-ID: 52861
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin Turhan. “Optimal Alignment of Temporal Knowledge Bases.” CoRR abs/2307.15439 (2023). https://doi.org/10.48550/ARXIV.2307.15439.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
Turhan, Anni-Yasmin. “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, edited by Oliver Kutz, Carsten Lutz, and Ana Ozaki, Vol. 3515. CEUR Workshop Proceedings. CEUR-WS.org, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 54997
Turhan, Anni-Yasmin. “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, edited by Oliver Kutz, Carsten Lutz, and Ana Ozaki, Vol. 3515. CEUR Workshop Proceedings. CEUR-WS.org, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
Gil, Oliver Fernández, Fabio Patrizi, Giuseppe Perelli, and Anni-Yasmin 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), edited by Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, and Roxana Radulescu, 372:708–715. Frontiers in Artificial Intelligence and Applications. IOS Press, 2023. https://doi.org/10.3233/FAIA230335.
LibreCat
| DOI