Evonne: Interactive Proof Visualization for Description Logics (System Description)
Authors: Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez
Paper Information
| Title: | Evonne: Interactive Proof Visualization for Description Logics (System Description) |
| Authors: | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Description Logic, Proofs, Visualization, Explanation |
| Pages: | 10 |
| Talk: | Aug 08 14:55 (Session 97D: Knowledge Representation and Justification) |
| Paper: |  |