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 2025

Vorlesung Introduction to Description Logics (Englisch)
Seminar Current Topics in Knowledge Base Engineering (Englisch)

Planned Lectures

WS 2025/2026

Past Lectures

WS 2024/2025

Lecture Modellierung (Panda Link)
Lecture Knowledgebase Engineering (Englisch) (Panda Link)
Seminar Advanced topics in Description Logics (Englisch) (Panda Link)

SS 2024

Lecture - Introduction to Description Logics
Seminar - Foundations of Knowledge Representation
Proseminar - Perlen der theoretischen Informatik

Team

Prof. Dr.-Ing. Anni-Yasmin Turhan

Knowledge Representation

Write email +49 5251 60-6341

More about the person

Dr. rer. nat. Anselm Haak

Knowledge Representation

Write email +49 5251 60-6727

More about the person

Dr. techn. Cem Okulmus

Knowledge Representation

Write email +49 5251 60-6627

More about the person

Marion Hucke

Knowledge Representation

Write email +49 5251 60-6695

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

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite

B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: 22th European Semantic Web Conference (ESWC 2025), Portorož, Slovenia, n.d., p. ( accepted for publication).

Soft and Constrained Hypertree Width

M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, G. Gottlob, in: 44th ACM Symposium on Principles of Database Systems (PODS) 2025, Berlin, Germany, n.d., p. ( accepted for publication).

Common Foundations for SHACL, ShEx, and PG-Schema

S. Ahmetaj, I. Boneva, J. Hidders, K. Hose, M. Jakubowski, J.E. Labra Gayo, W. Martens, F. Murlak, C. Okulmus, A. Polleres, O. Savkovic, M. Šimkus, in: ACM Web Conference 2025 , Sidney, Australia, n.d., p. ( accepted for publication).

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.

DOI

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.

DOI

Show all publications

News

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