22 citations · 51 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese +3
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology edito…
cs.LO2022★ 1 cited
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +3
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ont…