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.
120 Publications
2026 | Conference (Editor) | LibreCat-ID: 63860
Hogan A, Satoh K, Dag H, Turhan A-Y, Roman D, Soylu A, eds. Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings. Vol 16144. Springer; 2026. doi:10.1007/978-3-032-08887-1
LibreCat
| DOI
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 (Editor) | LibreCat-ID: 65605
Turhan A-Y, Virtema J, eds. Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings. Vol 16475. Springer; 2026. doi:10.1007/978-3-032-21540-6
LibreCat
| DOI
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
2026 | Conference Paper | LibreCat-ID: 66631
Gortworst B, Okulmus C, Ortiz M, Turhan A-Y. Shapes from Examples: Foundations of Shape Learning in Recursive SHACL. In: Proceedings of the 25th International Semantic Web Conference (ISWC 2026). ; 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66710
Löhnert B, Augsten N, Okulmus C, Ortiz M. Rewriting Ontology-Mediated Property Graph Queries into GQL. In: Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 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 | Journal Article | LibreCat-ID: 63857
Turhan A-Y. Think Globally, Attend Locally. Künstliche Intell. 2025;39(4):271–272. doi:10.1007/S13218-025-00894-9
LibreCat
| DOI
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.)
2025 | Conference Paper | LibreCat-ID: 64905
Bienvenu M, Bourgaux C, Khodadaditaghanaki A. Inconsistency Handling in DatalogMTL. In: Kwok J, ed. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI-25}. International Joint Conferences on Artificial Intelligence Organization; 2025:4374–4381. doi:10.24963/ijcai.2025/487
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 60168
Dell H, Haak A, Kallmayer M, Wennmann L. Solving Polynomial Equations Over Finite Fields. In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics; 2025. doi:10.1137/1.9781611978322.90
LibreCat
| DOI