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
Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings
A.-Y. Turhan, J. Virtema, eds., Foundations of Information and Knowledge Systems - 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings, Springer, 2026.
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: A. Haak (Ed.), 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.
Alle Publikationen anzeigen
News
Kontakt
Prof. Dr.-Ing. Anni-Yasmin Turhan
Wissensrepräsentation
Fürstenallee 11
33102 Paderborn