Prof. Dr.-Ing. Anni-Yasmin Turhan

Wissensrepräsentation

Kontakt und Affiliationen

Büro­anschrift:
Fürstenallee 11
33102 Paderborn
Raum:
F2.101

Über Anni-Yasmin Turhan

Ich leite die Professur für Wissensrepräsentation am Institut für Informatik. Meine Forschungsinteressen sind die Grundlagen intelligenter logik-basierter Systeme. Zentral in diesen Systemem sind Schlussfolgerungsprobleme deren Eigenschaften ich untersuche und für die ich Schlussfolgerungsverfahren entwickele.

Hauptsächlich betrachte ich in meiner Forschung Beschreibungslogiken mit diesen Logiken können einerseits deklarativ Terminologien modelliert werden  und andererseits Daten mittels Terminologien angereichert werden. Schwerpunktthemen meiner Forschung sind Verfahren zum symbolischen Lernen von Ausdrücken in Beschreibungslogik und "robuste" Anfragen an Beschreibungslogik Wissensbasen, die Inkonsistenz-tolerant bzw relaxiert sind.

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

Forschung

Forschungsschwerpunkte

  • Verfahren zum Lernen von Beschreibungslogik Ausdrücken aus Beispielen
  • Nicht-monotones Schliessen in Beschreibungslogiken
  • Verfahren zur Beantwortung relaxierter Anfragen an Wissensbasen

Publikationen

Aktuelle Publikationen


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.


Alle Publikationen anzeigen

Lehre

Schwerpunkte in der Lehre

In der Lehre werden von der Gruppe Wissensrepräsentation Veranstaltungen mit dem Schwerpunkt Logik angeboten. Die vermittelten Konzepte und Verfahren stammen oft aus der theoretischen Informatik -- so z.B. Entscheidbarkeit, Komplexität oder Beweisverfahren. Im Bachelorstudium bieten wir daher Veranstaltungen zu Themen aus der theoretischen Informatik an. Im Masterstudium werden Veranstaltungen angeboten, die in grundlegende Formalismen der Wissensrepräsentation und deren Schlussfolgerungsprobleme einführen. Schwerpunkte sind hier Beschreibungslogiken und auch Logiken für nicht-monotones Schliessen.


Laufende Lehrveranstaltungen

  • Seminar: Advanced topic on Description Logics (in English)
  • Modellierung
  • Knowledge Base Engineering (in English)

Wissenschaftliches 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)


Seit 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)


Seit 01.01.2014  |  Journal Künstliche Intelligenz (KI)

Member of the editorial board of the journal Künstliche Intelligenz (KI)


Seit 2014  |  Gesellschaft für Informatik (GI)

Mitglied in der Gesellschaft für Informatik e.V. (GI)