On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)

15 June 2022

Papers citing "On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)"

2 / 2 papers shown

Title
Why Not? Explaining Missing Entailments with Evee (Technical Report) Christian Alrabbaa Stefan Borgwardt Tom Friese Patrick Koopmann M. Kotlov 17 0 0 14 Aug 2023
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version Christian Alrabbaa F. Baader Stefan Borgwardt Raimund Dachselt Patrick Koopmann Julián Méndez 14 12 0 19 May 2022