Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez · Zenodo (CERN European Organization for Nuclear Research) · 2022
- evonne-experiments-ijcar22.zip: contains data and scripts used in the experiments. - evonne-tool-ijcar22.zip: contains the version of Evonne described in the paper. For more about Evonne (latest version, publications), visit https://imld.de/evonne