On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez 001; Alexej Popovic (Description Logics, 2022)

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez 001; Alexej Popovic (CoRR, 2022)

Why Not? Explaining Missing Entailments with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (Description Logics, 2023)

Why Not? Explaining Missing Entailments with Evee (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (CoRR, 2023)

Explaining Reasoning Results for OWL Ontologies with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Anke Hirsch; Nina Knieriemen; Patrick Koopmann; Alisa Kovtunova; Antonio Krüger; Alexej Popovic; Ida S. R. Siahaan (KR, 2024)