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.
116 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.
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.
2024 | Conference Paper | LibreCat-ID: 56488
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, Springer, 2024, pp. 142–158.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, Springer, 2024, pp. 142–158.
2024 | Conference Paper | LibreCat-ID: 55479
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, Springer, 2024.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, Springer, 2024.
2024 | Conference Paper | LibreCat-ID: 56158
Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
LibreCat
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
2024 | Conference Paper | LibreCat-ID: 56159
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations
R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.
LibreCat
R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.