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
Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings
A. Hogan, K. Satoh, H. Dag, A.-Y. Turhan, D. Roman, A. Soylu, eds., Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings, Springer, 2026.
LibreCat
| DOI
A. Hogan, K. Satoh, H. Dag, A.-Y. Turhan, D. Roman, A. Soylu, eds., Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings, Springer, 2026.
2026 | Conference Paper | LibreCat-ID: 65178 | 
Selective Use of Yannakakis’ Algorithm for Consistent Performance Gains
D. Böhm, G. Gottlob, M. Lanzinger, D.M. Longo, C. Okulmus, R. Pichler, A. Selzer, 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.)
D. Böhm, G. Gottlob, M. Lanzinger, D.M. Longo, C. Okulmus, R. Pichler, A. Selzer, in: Proceedings of the 28th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2026), Tampere, Finland, 2026.
2026 | Conference Paper | LibreCat-ID: 65489
Common Foundations for Recursive Shape Languages
C. Okulmus, S. Ahmetaj, I. Boneva, J. Hidders, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, Ognjen Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026.
LibreCat
C. Okulmus, S. Ahmetaj, I. Boneva, J. Hidders, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, Ognjen Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026.
2026 | Conference (Editor) | LibreCat-ID: 65605
Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings
A.-Y. Turhan, J. Virtema, eds., Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings, Springer, 2026.
LibreCat
| DOI
A.-Y. Turhan, J. Virtema, eds., Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings, Springer, 2026.
2026 | Conference Paper | LibreCat-ID: 65566
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: 2026.
LibreCat
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: 2026.
2026 | Conference Paper | LibreCat-ID: 66378
Querying Interval-Based Temporal Data with SPARQL
J. Corman, R. Kontchakov, C. Okulmus, in: Proceedings of the 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026), 2026.
LibreCat
J. Corman, R. Kontchakov, C. Okulmus, in: Proceedings of the 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026), 2026.
2026 | Conference Paper | LibreCat-ID: 66379
Reaching for the Stars in EL Concept Learning
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 39th International Workshop on Description Logics (DL 2026), 2026.
LibreCat
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 39th International Workshop on Description Logics (DL 2026), 2026.
2026 | Conference Paper | LibreCat-ID: 66631
Shapes from Examples: Foundations of Shape Learning in Recursive SHACL
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 25th International Semantic Web Conference (ISWC 2026), 2026.
LibreCat
B. Gortworst, C. Okulmus, M. Ortiz, A.-Y. Turhan, in: Proceedings of the 25th International Semantic Web Conference (ISWC 2026), 2026.
2026 | Conference Paper | LibreCat-ID: 66710
Rewriting Ontology-Mediated Property Graph Queries into GQL
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026), 2026.
LibreCat
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026), 2026.
2025 | Conference Paper | LibreCat-ID: 59840 |
Common Foundations for SHACL, ShEx, and PG-Schema
S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12.
LibreCat
| DOI
| Download (ext.)
S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12.
2025 | Conference Paper | LibreCat-ID: 63786 |
Query Rewriting for Nested Navigational Queries over Property Graphs
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025., Opole, Poland, 2025.
LibreCat
| Download (ext.)
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025., Opole, Poland, 2025.
2025 | Journal Article | LibreCat-ID: 63857
Think Globally, Attend Locally
A.-Y. Turhan, Künstliche Intell. 39 (2025) 271–272.
LibreCat
| DOI
A.-Y. Turhan, Künstliche Intell. 39 (2025) 271–272.
2025 | Preprint | LibreCat-ID: 61065
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
LibreCat
| arXiv
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
2025 | Conference Paper | LibreCat-ID: 63888
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025, 2025.
LibreCat
| Download (ext.)
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025, 2025.
2025 | Journal Article | LibreCat-ID: 61471
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)
G. Governatori, A.-Y. Turhan, Theory Pract. Log. Program. 25 (2025) 132–133.
LibreCat
| DOI
G. Governatori, A.-Y. Turhan, Theory Pract. Log. Program. 25 (2025) 132–133.
2025 | Journal Article | LibreCat-ID: 61874
Counting of Teams in First-Order Team Logics
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).
LibreCat
| DOI
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).
2025 | Journal Article | LibreCat-ID: 60496 |
Soft and Constrained Hypertree Width
M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, G. Gottlob, Proceedings of the ACM on Management of Data 3 (2025) 1–25.
LibreCat
| DOI
| Download (ext.)
M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, G. Gottlob, Proceedings of the ACM on Management of Data 3 (2025) 1–25.
2025 | Conference Paper | LibreCat-ID: 60497 |
Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}, Springer Nature Switzerland, 2025, pp. 342--361.
LibreCat
| DOI
| Download (ext.)
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}, Springer Nature Switzerland, 2025, pp. 342--361.
2025 | Conference Paper | LibreCat-ID: 64905
Inconsistency Handling in DatalogMTL
M. Bienvenu, C. Bourgaux, A. Khodadaditaghanaki, in: J. Kwok (Ed.), Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI-25}, International Joint Conferences on Artificial Intelligence Organization, 2025, pp. 4374–4381.
LibreCat
| Files available
| DOI
M. Bienvenu, C. Bourgaux, A. Khodadaditaghanaki, in: J. Kwok (Ed.), Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI-25}, International Joint Conferences on Artificial Intelligence Organization, 2025, pp. 4374–4381.
2025 | Conference Paper | LibreCat-ID: 60168
Solving Polynomial Equations Over Finite Fields
H. Dell, A. Haak, M. Kallmayer, L. Wennmann, in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.
LibreCat
| DOI
H. Dell, A. Haak, M. Kallmayer, L. Wennmann, in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.