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.
25 Publications
2025 | Conference Paper | LibreCat-ID: 58975 | 
Löhnert B, Augsten N, Okulmus C, Ortiz M. Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite. In: ; 2025.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |
Lanzinger M, Okulmus C, Pichler R, Selzer A, Gottlob G. Soft and Constrained Hypertree Width. In: ; 2025.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58967 |
Ahmetaj S, Boneva I, Hidders J, et al. Common Foundations for SHACL, ShEx, and PG-Schema. In: ; 2025.
LibreCat
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55479
Peñaloza R, Turhan A-Y. Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. In: Kirrane S, Simkus M, Soylu A, Roman D, eds. Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings. LNCS. Springer; 2024. doi:10.1007/978-3-031-72407-7\_11
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases (Extended Abstract). In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza R, Turhan A-Y. Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. In: Giordano L, Jung JC, Ozaki A, eds. Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Vol 3739. CEUR Workshop Proceedings. CEUR-WS.org; 2024.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 52861
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases. CoRR. 2023;abs/2307.15439. doi:10.48550/ARXIV.2307.15439
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
Turhan A-Y. Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). In: Kutz O, Lutz C, Ozaki A, eds. Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Vol 3515. CEUR Workshop Proceedings. CEUR-WS.org; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 54997
Turhan A-Y. Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk). In: Kutz O, Lutz C, Ozaki A, eds. Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. Vol 3515. CEUR Workshop Proceedings. CEUR-WS.org; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
Gil OF, Patrizi F, Perelli G, Turhan A-Y. Optimal Alignment of Temporal Knowledge Bases. In: Gal K, Nowé A, Nalepa GJ, Fairstein R, Radulescu R, eds. ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Vol 372. Frontiers in Artificial Intelligence and Applications. IOS Press; 2023:708–715. doi:10.3233/FAIA230335
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara I, Turhan A-Y. Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models. In: Logics in Artificial Intelligence. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-43619-2_36
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52862
Turhan A-Y. A Double Take at Conferences: The Hybrid Format. KI - Künstliche Intelligenz. 2022;36(1):1-4. doi:10.1007/s13218-022-00758-6
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
de Camargo e Souza Câmara I, Turhan A-Y. Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\). In: Arieli O, Casini G, Giordano L, eds. Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022. Vol 3197. CEUR Workshop Proceedings. CEUR-WS.org; 2022:159–162.
LibreCat
2022 | Conference (Editor) | LibreCat-ID: 52925
Governatori G, Turhan A-Y, eds. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Vol 13752. Springer; 2022. doi:10.1007/978-3-031-21541-4
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa S, Turhan A-Y. Computing generalizations of temporal ϵL concepts with next and global. In: Hong J, Bures M, Park JW, Cerný T, eds. SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. ACM; 2022:903–910. doi:10.1145/3477314.3507136
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52918
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the Flower Reasoner. Theory Pract Log Program. 2022;22(2):162–192. doi:10.1017/S1471068421000466
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
Tirtarasa S, Turhan A-Y. A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract). In: Arieli O, Homola M, Jung JC, Mugnier M-L, eds. Proceedings of the 35th International Workshop on Description Logics (DL 2022) Co-Located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Vol 3263. CEUR Workshop Proceedings. CEUR-WS.org; 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza R, Turhan A-Y. User-aware Explications of Ontology Consequences: Levelling Technicality. In: Beierle C, Ragni M, Stolzenburg F, Sauerwald K, Thimm M, eds. Proceedings of the 8th Workshop on Formal and Cognitive Reasoning Co-Located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022. Vol 3242. CEUR Workshop Proceedings. CEUR-WS.org; 2022:90–101.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil OF, Turhan A-Y. Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. AAAI Press; 2021:6340–6348. doi:10.1609/AAAI.V35I7.16787
LibreCat
| DOI