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

SS 2025

  • Lecture Introduction to Description Logics (English)
  • Seminar Current Topics in Knowledge Base Engineering (English)

WS 2025/2026

  • Lecture Modellierung
  • Lecture Knowledgebase Engineering (English)
  • Seminar tba

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

business-card image

Prof. Dr.-Ing. Anni-Yasmin Turhan

Knowledge Representation

Write email +49 5251 60-6341
More about the person
business-card image

Dr. rer. nat. Anselm Haak

Knowledge Representation

Write email +49 5251 60-6727
More about the person
business-card image

Dr. techn. Cem Okulmus

Knowledge Representation

Write email +49 5251 60-6627
More about the person
business-card image

Atefe Khodadaditaghanaki

Knowledge Representation

Write email
More about the person

Andreas Gödecke

Informatik Rechnerbetrieb (IRB)

IT support, Fürstenallee

Write email +49 5251 60-6491
More about the person

Pub­lic­a­tions

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. Mogavero, F. Murlak, C. Okulmus, A. Polleres, O. Savković, M. Šimkus, D. Tomaszuk, in: Proceedings of the ACM on Web Conference 2025, ACM, 2025, pp. 8–12.

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

Pa­per ac­cep­ted at the IJ­CAI-25 (In­ter­na­tion­al Joint Con­fer­ence on Ar­ti­fi­cial In­tel­li­gence)

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…

Read more

The Know­ledge Rep­res­ent­a­tion group con­tin­ues to grow!

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

Read more

Pa­per ac­cep­ted at the ACM Web Con­fer­ence 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).

Read more

The KR group is grow­ing!

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

Read more

De­clar­at­ive AI 2025

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

Read more

Pa­per at SODA25 ac­cep­ted.

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

Best Pa­per Award at RuleM­L+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.

Read more

The KR group is grow­ing!

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

+49 5251 60-6341 Send E-Mail Directions

Knowledge Representation

Learn more about us:

Contact News