FroCoS & DL 2025

Unsere Forschung zu „The Concrete Evonne” wurde auf dem 15th International Symposium on Frontiers of Combining Systems (FroCoS 2025) und auf dem 38th International Workshop on Description Logics (DL 2025) in Island bzw. Polen vorgestellt. Diese Arbeit ist das Ergebnis unserer Zusammenarbeit mit dem Transregional Collaborative Research Centre 248 (CPEC).

Evonne ist ein webbasiertes Visualisierungstool zur Erklärung von Schlussfolgerungen und zur Fehlerbehebung in Ontologien. In seiner neuesten Version umfasst „The Concrete Evonne“ Funktionen zur Erklärung kombinierter Logiken und konkreter Domänen linearer Gleichungen und Differenzbeschränkungen durch maßgeschneiderte Visualisierungen und Beweise. Die Hauptautoren dieser Arbeit sind Christian Alrabbaa von der Professur für Automatentheorie von Prof. Dr.-Ing. Franz Baader und Julián Méndez von unserem Interactive Media Lab Dresden. Daher reisten sie zur FroCoS und DL, um ihre Arbeit vorzustellen und zu diskutieren.

Vom 3. bis 6. September fand der DL-Workshop an der University of Opole in Polen statt, auf dem viele spannende Arbeiten vorgestellt wurden und gleichzeitig die Karriere, Leistungen und der prägende Einfluss von Prof. Baader innerhalb der DL-Community gewürdigt wurden. Bei dieser Veranstaltung wurde „The Concrete Evonne“ als extended abstract in den Postersessions vorgestellt.

Anschließend fand vom 29. September bis zum 1. Oktober die FroCoS an der Reykjavík University in Island statt, zusammen mit anderen Konferenzen und Workshops zu automated reasoning und Theorembeweisen (TABLEAUX, ITP). Mit ihrem Schwerpunkt auf Systemkombinationen war die FroCoS der perfekte Ort, um „The Concrete Evonne” als Full Paper über Erklärungen zu kombinierten Beschreibungslogiken und konkreten Domänen vorzustellen.