Herzlich willkommen

auf den Webseiten der Arbeitsgruppe Wissensrepräsentation.

Die Forschungsinteressen dieser Fachgruppe sind die Grundlagen intelligenter logik-basierter Systeme. Zentral in diesen Systemen sind Schlussfolgerungsprobleme deren Eigenschaften zu untersuchen sind und für die daraus zu entwickelnden Schlussfolgerungsverfahren.

Hauptsächlich betrachte wir in unserer Forschung Beschreibungslogiken mit diesen Logiken können einerseits deklarativ Terminologien modelliert werden  und andererseits Daten mittels Terminologien angereichert werden. Schwerpunktthemen der Forschung sind Verfahren zum symbolischen Lernen von Ausdrücken in Beschreibungslogik und "robuste" Anfragen an Beschreibungslogik Wissensbasen, die Inkonsistenz-tolerant bzw relaxiert sind.

Leh­re

WS 2025/26

  • Vorlesung Modellierung
  • Vorlesung Knowledge Base Engineering 

SS 2026

  • Vorlesung Introduction to description logics
  • Vorlesung Introduction to knowledge representation and reasoning
  • Vorlesung Parameterized algorithms and complexity
  • Projektgruppe Ontology-mediated validation of knowledge graphs

 

SS 2025

  • Vorlesung Introduction to Description Logics
  • Seminar Current Topics in Knowledge Base Engineering

WS 2024/2025

SS 2024

  • Vorlesung Introduction to Description Logics
  • Seminar Foundations of Knowledge Representation
  • Proseminar Perlen der theoretischen Informatik

Team

business-card image

Prof. Dr.-Ing. Anni-Yasmin Turhan

Wissensrepräsentation

E-Mail schreiben +49 5251 60-6341
Mehr zur Person
business-card image

Dr. rer. nat. Anselm Haak

Wissensrepräsentation

E-Mail schreiben +49 5251 60-6727
Mehr zur Person
business-card image

Dr. techn. Cem Okulmus

Wissensrepräsentation

E-Mail schreiben +49 5251 60-6627
Mehr zur Person
business-card image

Atefe Khodadaditaghanaki

Wissensrepräsentation

E-Mail schreiben
Mehr zur Person
business-card image

Sarah Wachowiak

Wissensrepräsentation

Sekretariat Prof. Dr.-Ing. Anni-Yasmin Turhan

E-Mail schreiben +49 5251 60-6806
Mehr zur Person

Andreas Gödecke

Informatik Rechnerbetrieb (IRB)

IT-Support, Fürstenallee

E-Mail schreiben +49 5251 60-6491
Mehr zur Person

Pu­bli­ka­ti­o­nen

2025

Counting of Teams in First-Order Team Logics

A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).

DOI

Why not? Developing ABox Abduction beyond Repairs

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

arXiv

Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022)

G. Governatori, A.-Y. Turhan, Theory Pract. Log. Program. 25 (2025) 132–133.

DOI

Towards Practicable Algorithms for Rewriting Graph Queries Beyond DL-Lite

B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: The Semantic Web - 22nd European Semantic Web Conference, {ESWC} 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part {I}, Springer Nature Switzerland, 2025, pp. 342--361.

DOI

Soft and Constrained Hypertree Width

M. Lanzinger, C. Okulmus, R. Pichler, A. Selzer, G. Gottlob, Proceedings of the ACM on Management of Data 3 (2025) 1–25.

DOI

Alle Publikationen anzeigen

News

Cem Okul­mus hält einen Vor­trag am 18. No­vem­ber im Rah­men der Herbst­vor­le­sung des FON­DA Pro­jekts an der Hum­boldt-Uni­ver­si­tät zu Ber­lin.

Cem Okulmus hält einen Vortrag am 18. November im Rahmen der Herbstvorlesung des FONDA Projekts an der Humboldt-Universität zu Berlin.

Mehr erfahren

An­ni-Yas­min Turhan wur­de zur Pro­gramm Kom­mit­tee­vor­sit­zen­den des Re­cent­ly Pu­blis­hed Re­sea­rch Track er­nannt

Anni-Yasmin Turhan wurde zur Programm Kommitteevorsitzenden des Recently Published Research Track der 23. Internationalen Konferenz zu Principles of Knowledge Representation and Reasoning ernannt.

Mehr erfahren

Pa­per bei der IJ­CAI-25 (In­ter­na­ti­o­nal Joint Con­fe­rence on Ar­ti­fi­ci­al In­tel­li­gence) ak­zep­tiert

Der Beitrag "Inconsistency Handling in DatalogMTL" von unserer Mitarbeiterin Atefe Khodadaditaghanaki wurde auf der International Joint Conference on Artificial Intelligence 2025 (IJCAI-25) akzeptiert.

Mehr erfahren

Die Fach­­grup­­pe Wis­­sens­re­pä­­sen­ta­ti­on wächst wei­ter!

Die Fachgruppe Wissensrepäsentation begrüßt eine neue Mitarbeiterin Atefe Khodadaditaghanaki.

Mehr erfahren

Pa­per bei der ACM Web Con­fe­rence 2025 (WWW 25) ak­zep­tiert

Der Beitrag "Common Foundations for SHACL, ShEx, and PG-Schema" von unserem Mitarbeiter Cem Okulmus wurde auf der 2025 ACM Web Conference 2025 (WWW 25) akzeptiert.

Mehr erfahren

Die Fach­­grup­­pe Wis­­sens­re­pä­­sen­ta­ti­on wächst!

Die Fachgruppe Wissensrepäsentation begrüßt einen neuen Mitarbeiter Dr. Cem Okulmus.

Mehr erfahren

Ta­gung De­cla­ra­ti­ve AI 2025

Anni-Yasmin Turhan wurde zusammen mit Ahmet Soylu and Hasan Dağ zum General Chair der Tagung *Declarative AI 2025 ernannt.

Mehr erfahren

Pa­per bei der SO­DA25 ak­zep­tiert.

Der Beitrag "Solving Polynomial Equations Over Finite Fields" von unserem Mitarbeiter Anselm Haak wurde auf der SODA25 (ACM-SIAM Symposium on Discrete Algorithms) akzeptiert. Eine Liste der veröffentlichten Paper finden Sie hier.

Mehr erfahren

Best Pa­per Award bei Ru­leM­L+RR'24

Das Paper Reasoning in Rough Description Logics with Multiple Indiscernibility Relations von Rafael Peñaloza und Anni-Yasmin Turhan wurde mit dem Harold Boley Distinguished Paper Award von der International Joint Conference on Rules and Reasoning (RuleML+RR) ausgezeichnetz. Ein Foto von der Verleihung finden sie hier.

Mehr erfahren

Die Fach­grup­pe Wis­sens­re­pä­sen­ta­ti­on wächst.

Die Fachgruppe Wissensrepäsentation begrüßt einen neuen Mitarbeiter Dr. Anselm Haak

Mehr erfahren

Kon­takt

Prof. Dr.-Ing. Anni-Yasmin Turhan

Wissensrepräsentation

Raum F2.101
Universität Paderborn
Fürstenallee 11
33102 Paderborn

+49 5251 60-6341 E-Mail schreiben Wegbeschreibung

Wissensrepräsentation

Lesen Sie mehr über uns:

News