Picture for Tom Friese

Tom Friese

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Add code
Aug 15, 2023
Viaarxiv icon

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