Evonne: Interactive Proof Visualization for Description Logics (System Description).

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julin Mndez

Browse the full CADE paper archive.