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