@misc{indiciaee5374f00bdbe,
  title = {On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)},
  author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Julián Méndez and Alexej Popovič},
  year = {2022},
  url = {https://arxiv.org/abs/2206.07711},
  note = {Source identifier: 2206.07711}
}