Picture for Julián Méndez

Julián Méndez

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

Add code
Jun 15, 2022
Figure 1 for On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
Figure 2 for On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
Figure 3 for On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
Figure 4 for On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
Viaarxiv icon

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

Add code
May 19, 2022
Figure 1 for Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Figure 2 for Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Figure 3 for Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Figure 4 for Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Viaarxiv icon