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, Bianca, et al. Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite. 2025.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58976 |
Lanzinger, Matthias, et al. Soft and Constrained Hypertree Width. 2025.
LibreCat
| Download (ext.)
2025 | Conference Paper | LibreCat-ID: 58967 |
Ahmetaj, Shqiponja, et al. Common Foundations for SHACL, ShEx, and PG-Schema. 2025.
LibreCat
| Download (ext.)
2024 | Conference Paper | LibreCat-ID: 55479
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.” Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, edited by Sabrina Kirrane et al., Springer, 2024, doi:10.1007/978-3-031-72407-7\_11.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56158
Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases (Extended Abstract).” Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, edited by Laura Giordano et al., vol. 3739, CEUR-WS.org, 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 56159
Peñaloza, Rafael, and Anni-Yasmin Turhan. “Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations.” Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, edited by Laura Giordano et al., vol. 3739, CEUR-WS.org, 2024.
LibreCat
| Files available
2023 | Journal Article | LibreCat-ID: 52861
Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases.” CoRR, vol. abs/2307.15439, 2023, doi:10.48550/ARXIV.2307.15439.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 52913
Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).” 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, edited by Oliver Kutz et al., vol. 3515, CEUR-WS.org, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 54997
Turhan, Anni-Yasmin. “Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk).” 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, edited by Oliver Kutz et al., vol. 3515, CEUR-WS.org, 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 56096
Gil, Oliver Fernández, et al. “Optimal Alignment of Temporal Knowledge Bases.” 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), edited by Kobi Gal et al., vol. 372, IOS Press, 2023, pp. 708–715, doi:10.3233/FAIA230335.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52859
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models.” 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, Anni-Yasmin. “A Double Take at Conferences: The Hybrid Format.” KI - Künstliche Intelligenz, vol. 36, no. 1, Springer Science and Business Media LLC, 2022, pp. 1–4, doi:10.1007/s13218-022-00758-6.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52923
de Camargo e Souza Câmara, Igor, and Anni-Yasmin Turhan. “Rational Defeasible Subsumption in DLs with Nested Quantifiers: The Case of ELI\(\perp\).” 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, edited by Ofer Arieli et al., vol. 3197, CEUR-WS.org, 2022, pp. 159–162.
LibreCat
2022 | Conference (Editor) | LibreCat-ID: 52925
Governatori, Guido, and Anni-Yasmin Turhan, editors. Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Springer, 2022, doi:10.1007/978-3-031-21541-4.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52924
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “Computing Generalizations of Temporal ΕL Concepts with next and Global.” SAC ’22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, edited by Jiman Hong et al., ACM, 2022, pp. 903–910, doi:10.1145/3477314.3507136.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 52918
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the Flower Reasoner.” Theory Pract. Log. Program., vol. 22, no. 2, 2022, pp. 162–192, doi:10.1017/S1471068421000466.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 52920
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).” 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, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52921
Tirtarasa, Satyadharma, and Anni-Yasmin Turhan. “A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract).” 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, edited by Ofer Arieli et al., vol. 3263, CEUR-WS.org, 2022.
LibreCat
2022 | Conference Paper | LibreCat-ID: 52922
Peñaloza, Rafael, and Anni-Yasmin Turhan. “User-Aware Explications of Ontology Consequences: Levelling Technicality.” 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, edited by Christoph Beierle et al., vol. 3242, CEUR-WS.org, 2022, pp. 90–101.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” 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, pp. 6340–6348, doi:10.1609/AAAI.V35I7.16787.
LibreCat
| DOI