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 description logics
- Vorlesung: Introduction to knowledge representation and reasoning
- Proseminar: Perlen der theoretischen Informatik
- CS Master
- 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
- Vorlesung: Modellierung (Panda Link)
- Vorlesung: Knowledgebase Engineering (Panda Link)
- Seminar: Advanced topics in Description Logics (Panda Link)
SS 2024
- Vorlesung: Introduction to Description Logics
- Seminar: Foundations of Knowledge Representation
- Proseminar: Perlen der theoretischen Informatik
Team
Publikationen
2025
Query Rewriting for Nested Navigational Queries over Property Graphs
B. Löhnert, N. Augsten, C. Okulmus, M. Ortiz, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics (DL 2025), Opole, Poland, September 3-6, 2025., Opole, Poland, 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.
Alle Publikationen anzeigen
News
Kontakt
Prof. Dr.-Ing. Anni-Yasmin Turhan
Wissensrepräsentation
Fürstenallee 11
33102 Paderborn