Prof. Dr.-Ing. Anni-Yasmin Turhan

Knowledge Representation

Section Owner
Office Address:
Fürstenallee 11
33102 Paderborn

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.


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


Latest Publications

Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (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,, 2023.
Computing generalizations of temporal <i>εL</i> concepts with next and global
S. Tirtarasa, A.-Y. Turhan, in: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, ACM, 2022.
A Double Take at Conferences: The Hybrid Format
A.-Y. Turhan, KI - Künstliche Intelligenz 36 (2022) 1–4.
Show all publications


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: Foundations of Knowledge Representation (in English)
  • Proseminar: Perlen der theoretischen Informatik
  • Introduction to Description Logics (in English)