Contact and Affiliations
- E-Mail:
- turhan@uni-paderborn.de
- Phone:
- +49 5251 60-6341
- Web:
- Homepage
-
- Office Address:
-
Fürstenallee 11
33102 Paderborn - Room:
- F2.101
About Anni-Yasmin Turhan
I am head of the group Knowledge Representation. My research interests are the foundations of logic-based Systems. The core of such systems are reasoning problems for logis. In my research, I investigate the properties of such problems in regard of the formalism in use and develop reasoning procedures.
Primarily, I work on Description Logics (DLs), which are decidable fragments of first-orderlogic and can model terminologies from application domains in a declarative way. The modelled concepts can semantically enrich data and allow to infer new information. The main focus of my current research is on methods for symbolic learning (of concepts) in DLs and on "robust" queries over DL knowledge bases, which are inconsistency-tolerant or admit relaxation of queries.
Curriculum Vitae
19.09.2025: Invited speaker at the retirement symposium for Franz Baader at TU Dresden
Invited speaker at the retirement symposium for Franz Baader at TU Dresden
10.02.2025 - 14.02.2025: Invited speaker at Cape-KR 2025
Invited speaker at Cape-KR 2025
Research
Research Interests
- Methods for learning description logic concepts or queries from examples
- nonmonotonic reasoning in description logics
- Methods for answering relaxed queries over description logic knowledge bases
Publications
Latest Publications
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.
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
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.
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.
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.
Show all publications
Teaching
Teaching Areas
The courses held by the Knowledge Representation group mainly focus on logics and logical reasoning. Here, the main taught notions and methods often come from theoretical computer science, for example decidability, comutational complexity and proof methods. Thus we offer in the bachelor studies courses with topics from theoretical computer science. In the master studies, we offer courses on the foundational logics used for knowledge representation and their reasoning problems. There are courses on description Logics and on logics for nonmonotonic reasoning.
Current Courses
- Seminar: Advanced topic on Description Logics (in English)
- Modellierung
- Knowledge Base Engineering (in English)
Scientific Engagement
20.07.2026 - 23.07.2026 | co-chair of the Recently Published Research Track of KR 2026
co-chair of the Recently Published Research Track of KR 2026
23.03.2026 - 26.02.2026 | co-PC chair of the 14th international Symposium of Foundation of Information and Knowledge Systems
co-PC chair of the 14th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2026)
11.11.2025 - 17.11.2025 | Reviewer for the 2nd Video track of KR 2025
Reviewer for the 2nd Video track of KR 2025
28.07.0025 - 16.10.2025 | Reviewer for European Summer School in Logic, Language, and Information
Reviewer for European Summer School in Logic, Language, and Information (ESSLI2025)
22.09.2025 - 28.09.2025 | General co-Chair of Declarative AI 2025
General co-Chair of Declarative AI 2025
22.09.2025 - 24.09.2025 | PC member of the 9th International Joint Conference on Rules and Reasoning
PC member of the 9th International Joint Conference on Rules and Reasoning (RuleML+RR 2025)
11.09.2025 - 17.09.2025 | PC member for 22nd International Conference on Principles of Knowledge Representation and Reasoning
PC member for 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)
16.08.2025 - 22.08.2025 | PC member of the 34th International Joint Conference on Artificial Intelligence
PC member of the 34th International Joint Conference on Artificial Intelligence (IJCAI-25)
02.11.2024 - 08.11.2024 | Reviewer for the special track Reasoning, Learning and Decision Making of the KR Conference
Reviewer for the special track Reasoning, Learning, & Decision Making of the KR conference 2024
02.11.2024 - 08.11.2024 | co-Chair of the first edition of the video track of the KR conference 2024
co-Chair of the first edition of the video track of the KR conference 2024
19.10.2024 - 24.10.2024 | PC member of the 7th European Conference on Artificial Intelligence
PC member of the 7th European Conference on Artificial Intelligence (ECAI 2024)
16.09.2024 - 18.09.2024 | PC member of the 8th International Joint Conference on Rules and Reasoning
PC member of the 8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024)
03.08.2024 - 09.08.2024 | PC member of the 33rd International Joint Conference on Artificial Intelligence
PC member of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)
Since 01.01.2023 | Steering committee of the Web Reasoning and Rule Systems Association (RRA)
Member of steering committee of the Web Reasoning and Rule Systems Association (RRA)
Since 01.01.2014 | Journal Künstliche Intelligenz (KI)
Member of the editorial board of the journal Künstliche Intelligenz (KI)