Picture for Christian Alrabbaa

Christian Alrabbaa

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

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

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

Add code
Apr 27, 2021
Figure 1 for Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)
Figure 2 for Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)
Figure 3 for Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)
Figure 4 for Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)
Viaarxiv icon