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

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.


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.


Show all publications

News

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 Knowledge Representation group welcomes a new member of staff, Atefe Khodadaditaghanaki.

Read more

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 welcomes new group member Dr. Cem Okulmus.

Read more

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