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 D, Gottlob G, Lanzinger M, et al. 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). ; 2026.
LibreCat
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65489
Okulmus C, Ahmetaj S, Boneva I, 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 A, Koopmann P, Mahmood Y, Turhan A-Y. ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics. In: ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66378
Corman J, Kontchakov R, Okulmus C. 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 B, Okulmus C, Ortiz M, Turhan A-Y. 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 S, Boneva I, Hidders J, et al. Common Foundations for SHACL, ShEx, and PG-Schema. In: Proceedings of the ACM on Web Conference 2025. ACM; 2025:8-12. doi:10.1145/3696410.3714694
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63786 |
Löhnert B, Augsten N, Okulmus C, Ortiz M. Query Rewriting for Nested Navigational Queries over Property Graphs. In: Tendera L, Ibanez Garcia Y, Koopmann P, eds. Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025. Vol 4091. CEUR Workshop Proceedings. ; 2025.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63888
Haak A, Koopmann P, Mahmood Y, Turhan A-Y. Why not? Developing ABox Abduction beyond Repairs. In: Tendera L, Ibanez Garcia Y, Koopmann P, eds. Proceedings of the 38th International Workshop on Description Logics - DL 2025. ; 2025.
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 61471
Governatori G, Turhan A-Y. 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. 2025;25(2):132–133. doi:10.1017/S1471068425000079
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61874
Haak A, Kontinen J, Müller F, Vollmer H, Yang F. Counting of Teams in First-Order Team Logics. ACM Transactions on Computational Logic. Published online 2025. doi:10.1145/3771721
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 60496 |
Lanzinger M, Okulmus C, Pichler R, Selzer A, Gottlob G. Soft and Constrained Hypertree Width. Proceedings of the ACM on Management of Data. 2025;3(2):1-25. doi:10.1145/3725251
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 60497 |
Löhnert B, Augsten N, Okulmus C, Ortiz M. 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}. Vol 15718. Lecture Notes in Computer Science. Springer Nature Switzerland; 2025:342--361. doi:10.1007/978-3-031-94575-5_19
LibreCat
| DOI
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55479
Peñaloza R, Turhan A-Y. Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. In: Kirrane S, Simkus M, Soylu A, Roman D, eds. Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings. LNCS. Springer; 2024. doi:10.1007/978-3-031-72407-7\_11
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza R, Turhan A-Y. Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
2023 | Journal Article | LibreCat-ID: 52861
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases. CoRR. 2023;abs/2307.15439. doi:10.48550/ARXIV.2307.15439
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
Turhan A-Y. Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). In: Kutz O, Lutz C, Ozaki A, 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 Workshop Proceedings. CEUR-WS.org; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 54997
Turhan A-Y. Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). In: Kutz O, Lutz C, Ozaki A, 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 Workshop Proceedings. CEUR-WS.org; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases. In: Gal K, Nowé A, Nalepa GJ, Fairstein R, Radulescu R, 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. Frontiers in Artificial Intelligence and Applications. IOS Press; 2023:708–715. doi:10.3233/FAIA230335
LibreCat
| DOI