Knowledge Representation

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.

Teaching

Recent Lectures

SS 2026

CS Bachelor
- Lecture: Introduction to knowledge representation and reasoning (PANDA Link)
- Proseminar: Perlen der theoretischen Informatik (PANDA Link)
CS Master
- Lecture: Parameterised algorithms and complexity (PANDA Link)
- Project group: Ontology-mediated validation of knowledge graphs (PANDA Link)
- Lecture: Introduction to description logics (PANDA Link)

Planned Lectures

WS 2026/2027

CS Bachelor
- Lecture: Modelling
- Lecture: Knowledge Base Engineering

Past Lectures

WS 2025/26

Lecture: Modelling
Lecture: Knowledge Base Engineering

SS 2025

Lecture: Introduction to Description Logics
Seminar: Current Topics in Knowledge Base Engineering

WS 2024/2025

Lecture: Modelling (Panda Link)
Lecture: Knowledgebase Engineering (Panda Link)
Seminar: Advanced topics in Description Logics (Panda Link)

Write email +49 5251 60-6806

More about the person

Andreas Gödecke

Informatik Rechnerbetrieb (IRB)

IT support, Fürstenallee

Write email +49 5251 60-6491

More about the person

Publications

2026

Common Foundations for Recursive Shape Languages

C. Okulmus, S. Ahmetaj, I. Boneva, J. Hidders, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Mogavero, F. Murlak, Ognjen Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), 2026.

Selective Use of Yannakakis’ Algorithm for Consistent Performance Gains

D. Böhm, G. Gottlob, M. Lanzinger, D.M. Longo, C. Okulmus, R. Pichler, A. Selzer, in: Proceedings of the 28th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data (DOLAP 2026), Tampere, Finland, 2026.

Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings

A. Hogan, K. Satoh, H. Dag, A.-Y. Turhan, D. Roman, A. Soylu, eds., Rules and Reasoning - 9th International Joint Conference, RuleML+RR 2025, Istanbul, Turkey, September 22-24, 2025, Proceedings, Springer, 2026.

DOI

2025

Why not? Developing ABox Abduction beyond Repairs

A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).

arXiv

Why not? Developing ABox Abduction beyond Repairs

A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025, 2025.

Show all publications

News

22.04.2026

Two papers of KR group accepted at KR conference

13.04.2026

Best Paper Award at DOLAP 2026

20.10.2025

Cem Okulmus is giving a talk on November 18th as part of the CRC FONDA Fall Lecture Series at the Humboldt-University zu Berlin.

14.10.2025

Anni-Yasmin Turhan has been appointed programm chair for the Recently Published Research track

Anni-Yasmin Turhan has been appointed programm chair for the Recently Published Research track of the 23rd International Conference on Principles of Knowledge Representation and Reasoning.

07.05.2025

Paper accepted at the IJCAI-25 (International Joint Conference on Artificial Intelligence)

The paper "Inconsistency Handling in DatalogMTL" by our colleague Atefe Khodadaditaghanaki was accepted at the International Joint Conference on Artificial Intelligence 2025 (IJCAI-25). A link to the conference will follow. Abstract In this paper, we explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with metric temporal operators. Since facts are associated with time intervals, there are different manners to…

04.04.2025

The Knowledge Representation group continues to grow!

The Knowledge Representation group welcomes a new member of staff, Atefe Khodadaditaghanaki.

05.03.2025

Paper accepted at the ACM Web Conference 2025 (WWW 25)

The paper "Common Foundations for SHACL, ShEx, and PG-Schema" by our colleague Cem Okulmus was accepted at the 2025 ACM Web Conference 2025 (WWW 25).

03.02.2025

The KR group is growing!

The KR group welcomes new group member Dr. Cem Okulmus.

13.11.2024

Declarative AI 2025

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

10.10.2024

Paper at SODA25 accepted.

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.

17.09.2024

Best Paper Award at RuleML+RR'24

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.

01.09.2024

The KR group is growing!

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

Prof. Dr.-Ing. Anni-Yasmin Turhan

Room F2.101

Paderborn University
Fürstenallee 11
33102 Paderborn

+49 5251 60-6341 Send E-Mail Directions