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 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
2026 | Conference Paper | LibreCat-ID: 65566
A. Haak, P. Koopmann, Y. Mahmood, and A.-Y. Turhan, “ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics,” presented at the 23rd International Conference on Principles of Knowledge Representation and Reasoning, Lisbon, 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66378
J. Corman, R. Kontchakov, and C. Okulmus, “Querying Interval-Based Temporal Data with SPARQL,” presented at the 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026), Cork, Ireland, 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66379
B. Gortworst, C. Okulmus, M. Ortiz, and A.-Y. Turhan, “Reaching for the Stars in EL Concept Learning,” 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66631
B. Gortworst, C. Okulmus, M. Ortiz, and A.-Y. Turhan, “Shapes from Examples: Foundations of Shape Learning in Recursive SHACL,” 2026.
LibreCat
2026 | Conference Paper | LibreCat-ID: 66710
B. Löhnert, N. Augsten, C. Okulmus, and M. Ortiz, “Rewriting Ontology-Mediated Property Graph Queries into GQL,” 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 | Journal Article | LibreCat-ID: 63857
A.-Y. Turhan, “Think Globally, Attend Locally,” Künstliche Intell., vol. 39, no. 4, pp. 271–272, 2025, doi: 10.1007/S13218-025-00894-9.
LibreCat
| DOI
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: 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
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 | Conference Paper | LibreCat-ID: 64905
M. Bienvenu, C. Bourgaux, and A. Khodadaditaghanaki, “Inconsistency Handling in DatalogMTL,” in Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI-25}, 2025, pp. 4374–4381, doi: 10.24963/ijcai.2025/487.
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 60168
H. Dell, A. Haak, M. Kallmayer, and L. Wennmann, “Solving Polynomial Equations Over Finite Fields,” presented at the ACM-SIAM Symposium on Discrete Algorithms (SODA25), New Orleans, Louisiana, U.S., 2025, doi: 10.1137/1.9781611978322.90.
LibreCat
| DOI