Evonne: Interactive Proof Visualization for Description Logics (System Description). In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (Eds.), Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, 271--280, Springer, Berlin u. a., Germany, 2022. [PUMA: topic_knowledge FIS_scads imported]