research
∙
06/15/2022
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
When working with description logic ontologies, understanding entailment...
share
research
∙
05/19/2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) – Extended Version
Explanations for description logic (DL) entailments provide important su...
research
∙
08/08/2021
