Welcome

on the website of the Knowledge Representation working group.

The research interests of this group are the foundations of intelligent logic-based systems. Central to these systems are reasoning problems whose properties are to be investigated and for the reasoning methods to be developed from them.

The main focus of our research is on description logics, which can be used to model declarative terminologies and to enrich data by means of terminologies. Our research focuses on methods for symbolic learning of expressions in description logics and "robust" queries to description logic knowledge bases that are inconsistency-tolerant or relaxed.

Teach­ing

Winter semester 2024/2025

Teaching for Bachelor Computer Science

  • Lecture Modellierung (German) (Panda Link)

  • Lecture Knowledgebase Engineering (English) (Panda Link)


Teaching for Master Computer Science

  • Seminar Advanced topics in Description Logics (English) (Panda Link)

Past lectures

An overview of past lectures can be found here.

Pub­lic­a­tions

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.


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 - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, Springer, 2024.


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.


Optimal Alignment of Temporal Knowledge Bases

O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).


Show all publications

News

Anni-Yasmin Turhan has been appointed a general chair of Declarative AI 2025 together with Ahmet Soylu and Hasan Dağ.

Read more

The paper "Solving Polynomial Equations Over Finite Fields" by our colleague Anselm Haak was published on SODA25 (ACM-SIAM Symposium on Discrete Algorithms). A list of the published papers can be found here.

Read more

The paper Reasoning in Rough Description Logics with Multiple Indiscernibility Relations by Rafael Peñaloza and Anni-Yasmin Turhan has been awarded the Harold Boley Distinguished Paper Award of the International Joint Conference on Rules and Reasoning (RuleML+RR). A picture of the award ceremony can be found here.

Read more

The KR group welcomes new group member Dr. Anselm Haak!

Read more

Con­tact

Prof. Dr.-Ing. Anni-Yasmin Turhan

Knowledge Representation

Room F2.101
Paderborn University
Fürstenallee 11
33102 Paderborn