Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version

19 May 2022

Papers citing "Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version"

1 / 1 papers shown

Title
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version) Christian Alrabbaa Stefan Borgwardt Tom Friese Patrick Koopmann Julián Méndez Alexej Popovivc 19 7 0 15 Jun 2022