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.
Lehre
SS 2026
- CS Bachelor
- Vorlesung: Introduction to knowledge representation and reasoning (PANDA Link)
- Proseminar: Perlen der theoretischen Informatik (PANDA Link)
- CS Master
- Vorlesung: Parameterized algorithms and complexity (PANDA Link)
- Projektgruppe: Ontology-mediated validation of knowledge graphs (PANDA Link)
- Vorlesung: Introduction to description logics (PANDA Link)
WS 2026/2027
- CS Bachelor
- Vorlesung: Modellierung
- Vorlesung: Knowledge Base Engineering
WS 2025/26
- Vorlesung: Modellierung
- Vorlesung: Knowledge Base Engineering
SS 2025
- Vorlesung: Introduction to Description Logics
- Seminar: Current Topics in Knowledge Base Engineering
WS 2024/2025
- Vorlesung: Modellierung (Panda Link)
- Vorlesung: Knowledgebase Engineering (Panda Link)
- Seminar: Advanced topics in Description Logics (Panda Link)
Team
Publikationen
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.
2025
Solving Polynomial Equations Over Finite Fields
H. Dell, A. Haak, M. Kallmayer, L. Wennmann, in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.
Inconsistency Handling in DatalogMTL
M. Bienvenu, C. Bourgaux, A. Khodadaditaghanaki, in: J. Kwok (Ed.), Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI-25}, International Joint Conferences on Artificial Intelligence Organization, 2025, pp. 4374–4381.
Alle Publikationen anzeigen
News
Kontakt
Prof. Dr.-Ing. Anni-Yasmin Turhan
Wissensrepräsentation
Fürstenallee 11
33102 Paderborn