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
WS 2025/26
- Seminar: Advanced topic on Description Logics (in English)
- Modellierung
- Knowledge Base Engineering (in English)
WS 2025/2026
- Vorlesung Modellierung
- Vorlesung Knowledgebase Engineering (Englisch)
- Seminar tba
SS 2025
- Vorlesung Introduction to Description Logics (Englisch)
- Seminar Current Topics in Knowledge Base Engineering (Englisch)
WS 2024/2025
- Vorlesung Modellierung (Panda Link)
- Vorlesung Knowledgebase Engineering (Englisch) (Panda Link)
- Seminar Advanced topics in Description Logics (Englisch) (Panda Link)
SS 2024
- Vorlesung - Introduction to Description Logics
- Seminar - Foundations of Knowledge Representation
- Proseminar - Perlen der theoretischen Informatik
Team
Publikationen
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).
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
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.
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.
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.
Alle Publikationen anzeigen
News
Kontakt
Prof. Dr.-Ing. Anni-Yasmin Turhan
Wissensrepräsentation
Fürstenallee 11
33102 Paderborn