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
@book{Hogan_Satoh_Dag_Turhan_Roman_Soylu_2026, series={Lecture Notes in Computer Science}, title={Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings}, volume={16144}, DOI={10.1007/978-3-032-08887-1}, publisher={Springer}, year={2026}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 65178 | 
@inproceedings{Böhm_Gottlob_Lanzinger_Longo_Okulmus_Pichler_Selzer_2026, place={Tampere, Finland}, title={Selective Use of Yannakakis’ Algorithm for Consistent Performance Gains}, booktitle={Proceedings of the 28th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2026)}, author={Böhm, Daniela and Gottlob, Georg and Lanzinger, Matthias and Longo, Davide Mario and Okulmus, Cem and Pichler, Reinhard and Selzer, Alexander}, year={2026} }
LibreCat
| Download (ext.)
2026 | Conference Paper | LibreCat-ID: 65489
@inproceedings{Okulmus_Ahmetaj_Boneva_Hidders_Jakubowski_ Labra Gayo_Martens_Mogavero_Murlak_Savković_et al._2026, title={Common Foundations for Recursive Shape Languages}, booktitle={Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026)}, author={Okulmus, Cem and Ahmetaj, Shqiponja and Boneva, Iovka and Hidders, Jan and Jakubowski, Maxime and Labra Gayo, José Emilio and Martens, Wim and Mogavero, Fabio and Murlak, Filip and Savković, Ognjen and et al.}, year={2026} }
LibreCat
2026 | Conference (Editor) | LibreCat-ID: 65605
@book{Turhan_Virtema_2026, series={Lecture Notes in Computer Science}, title={Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings}, volume={16475}, DOI={10.1007/978-3-032-21540-6}, publisher={Springer}, year={2026}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 65566
@inproceedings{Haak_Koopmann_Mahmood_Turhan_2026, title={ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics}, author={Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66378
@inproceedings{Corman_Kontchakov_Okulmus_2026, title={Querying Interval-Based Temporal Data with SPARQL}, booktitle={Proceedings of the 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026)}, author={Corman, Julien and Kontchakov, Roman and Okulmus, Cem}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66379
@inproceedings{Gortworst_Okulmus_Ortiz_Turhan_2026, title={Reaching for the Stars in EL Concept Learning}, booktitle={Proceedings of the 39th International Workshop on Description Logics (DL 2026)}, author={Gortworst, Bente and Okulmus, Cem and Ortiz, Magdalena and Turhan, Anni-Yasmin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66631
@inproceedings{Gortworst_Okulmus_Ortiz_Turhan_2026, title={Shapes from Examples: Foundations of Shape Learning in Recursive SHACL}, booktitle={Proceedings of the 25th International Semantic Web Conference (ISWC 2026)}, author={Gortworst, Bente and Okulmus, Cem and Ortiz, Magdalena and Turhan, Anni-Yasmin}, year={2026} }
LibreCat
2026 | Conference Paper | LibreCat-ID: 66710
@inproceedings{Löhnert_Augsten_Okulmus_Ortiz_2026, title={Rewriting Ontology-Mediated Property Graph Queries into GQL}, booktitle={Proceedings of the 35th International ACM Conference on Knowledge and Information Management (CIKM 2026)}, author={Löhnert, Bianca and Augsten, Nikolaus and Okulmus, Cem and Ortiz, Magdalena}, year={2026} }
LibreCat
2025 | Conference Paper | LibreCat-ID: 59840 |
@inproceedings{Ahmetaj_Boneva_Hidders_Hose_Jakubowski_Labra Gayo_Martens_Mogavero_Murlak_Okulmus_et al._2025, title={Common Foundations for SHACL, ShEx, and PG-Schema}, DOI={10.1145/3696410.3714694}, booktitle={Proceedings of the ACM on Web Conference 2025}, publisher={ACM}, author={Ahmetaj, Shqiponja and Boneva, Iovka and Hidders, Jan and Hose, Katja and Jakubowski, Maxime and Labra Gayo, Jose Emilio and Martens, Wim and Mogavero, Fabio and Murlak, Filip and Okulmus, Cem and et al.}, year={2025}, pages={8–12} }
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 63786 |
@inproceedings{Löhnert_Augsten_Okulmus_Ortiz_2025, place={Opole, Poland}, series={CEUR Workshop Proceedings}, title={Query Rewriting for Nested Navigational Queries over Property Graphs}, volume={4091}, booktitle={Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025.}, author={Löhnert, Bianca and Augsten, Nikolaus and Okulmus, Cem and Ortiz, Magdalena}, editor={Tendera, Lidia and Ibanez Garcia, Yazmin and Koopmann, Patrick}, year={2025}, collection={CEUR Workshop Proceedings} }
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 63857
@article{Turhan_2025, title={Think Globally, Attend Locally}, volume={39}, DOI={10.1007/S13218-025-00894-9}, number={4}, journal={Künstliche Intell.}, author={Turhan, Anni-Yasmin}, year={2025}, pages={271–272} }
LibreCat
| DOI
2025 | Conference Paper | LibreCat-ID: 63888
@inproceedings{Haak_Koopmann_Mahmood_Turhan_2025, title={Why not? Developing ABox Abduction beyond Repairs}, booktitle={Proceedings of the 38th International Workshop on Description Logics - DL 2025}, author={Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}, editor={Tendera, Lidia and Ibanez Garcia, Yazmin and Koopmann, Patrick}, year={2025} }
LibreCat
| Download (ext.)
2025 | Journal Article | LibreCat-ID: 61471
@article{Governatori_Turhan_2025, title={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)}, volume={25}, DOI={10.1017/S1471068425000079}, number={2}, journal={Theory Pract. Log. Program.}, author={Governatori, Guido and Turhan, Anni-Yasmin}, year={2025}, pages={132–133} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 61874
@article{Haak_Kontinen_Müller_Vollmer_Yang_2025, title={Counting of Teams in First-Order Team Logics}, DOI={10.1145/3771721}, number={3771721}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Haak, Anselm and Kontinen, Juha and Müller, Fabian and Vollmer, Heribert and Yang, Fan}, year={2025} }
LibreCat
| DOI
2025 | Journal Article | LibreCat-ID: 60496 |
@article{Lanzinger_Okulmus_Pichler_Selzer_Gottlob_2025, title={Soft and Constrained Hypertree Width}, volume={3}, DOI={10.1145/3725251}, number={2}, journal={Proceedings of the ACM on Management of Data}, publisher={Association for Computing Machinery (ACM)}, author={Lanzinger, Matthias and Okulmus, Cem and Pichler, Reinhard and Selzer, Alexander and Gottlob, Georg}, year={2025}, pages={1–25} }
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 60497 |
@inproceedings{Löhnert_Augsten_Okulmus_Ortiz_2025, series={Lecture Notes in Computer Science}, title={Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite}, volume={15718}, DOI={10.1007/978-3-031-94575-5_19}, booktitle={The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}}, publisher={Springer Nature Switzerland}, author={Löhnert, Bianca and Augsten, Nikolaus and Okulmus, Cem and Ortiz, Magdalena}, year={2025}, pages={342--361}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 64905
@inproceedings{Bienvenu_Bourgaux_Khodadaditaghanaki_2025, title={Inconsistency Handling in DatalogMTL}, DOI={10.24963/ijcai.2025/487}, booktitle={Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI-25}}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Bienvenu, Meghyn and Bourgaux, Camille and Khodadaditaghanaki, Atefe}, editor={Kwok, James}, year={2025}, pages={4374–4381} }
LibreCat
| Files available
| DOI
2025 | Conference Paper | LibreCat-ID: 60168
@inproceedings{Dell_Haak_Kallmayer_Wennmann_2025, place={Philadelphia, PA}, title={Solving Polynomial Equations Over Finite Fields}, DOI={10.1137/1.9781611978322.90}, booktitle={Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)}, publisher={Society for Industrial and Applied Mathematics}, author={Dell, Holger and Haak, Anselm and Kallmayer, Melvin and Wennmann, Leo}, year={2025} }
LibreCat
| DOI