FroCoS & DL 2025

Our work on The Concrete Evonne was presented at the 15th International Symposium on Frontiers of Combining Systems (FroCoS 2025) and at the 38th International Workshop on Description Logics (DL 2025) in Iceland and Poland, respectively. This work is a result of our collaboration within the Transregional Collaborative Research Centre 248 (CPEC).

Evonne is a web-based visualization tool for explaining reasoning and debugging ontologies. In its latest version, the Concrete Evonne includes capabilities to explain combined logics and concrete domains of linear equations and difference constraints through tailored visualizations and proofs. The main authors of this work are Christian Alrabbaa from Prof. Dr.-Ing. Franz Baader‘s Chair of Automata Theory and Julián Méndez from our Interactive Media Lab Dresden. As such, they traveled to FroCoS and DL to present and discuss their work.

On September 3rd to 6th, the DL workshop took place at the University of Opole, in Poland, and saw many exciting works while also serving as a celebration to Prof. Baader’s career, achievements, and shaping influence within the DL community. In this event, The Concrete Evonne was presented as an extended abstract on the poster sessions.

Then, from September 29th to October 1st, FroCoS took place at the Reykjavík University, in Iceland, co-located with other conferences and workshops on automated reasoning and theorem proving (TABLEAUX, ITP). With its emphasis on system combinations, FroCoS served as the perfect venue for presenting The Concrete Evonne as a full paper on explanations of combined description logics and concrete domains.