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

Wintersemester 2024/2025

Lehrangebote für Bachelor Informatik

  • Vorlesung Modellierung (Panda Link)

  • Vorlesung Knowledgebase Engineering (auf Englisch) (Panda Link)


Lehrangebot für Master Informatik

  • Seminar Advanced topics in Description Logics (auf Englisch) (Panda Link)

Vergangene Lehrveranstaltungen

Eine Übersicht über die vergangenen Lehrveranstaltungen finden Sie hier.

Pu­bli­ka­ti­o­nen

Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations

R. Peñaloza, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.


Optimal Alignment of Temporal Knowledge Bases (Extended Abstract)

O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, in: L. Giordano, J.C. Jung, A. Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024, CEUR-WS.org, 2024.


Reasoning in Rough Description Logics with Multiple Indiscernibility Relations

R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - Eighth International Joint Conference, RuleML+RR 2024, Proceedings, Springer, 2024.


Reasoning in Rough Description Logics with Multiple Indiscernibility Relations

R. Peñaloza, A.-Y. Turhan, in: S. Kirrane, M. Simkus, A. Soylu, D. Roman (Eds.), Rules and Reasoning - 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings, Springer, 2024, pp. 142–158.


Deciding Subsumption in Defeasible 𝓔𝓛𝓘⊥ with Typicality Models

I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.


Alle Publikationen anzeigen

News

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

Mehr erfahren

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

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 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