  When working with description logic ontologies, understanding entailments
derived by a description logic reasoner is not always straightforward. So far,
the standard ontology editor Prot\'eg\'e offers two services to help:
(black-box) justifications for OWL 2 DL ontologies, and (glass-box) proofs for
lightweight OWL EL ontologies, where the latter exploits the proof facilities
of reasoner ELK. Since justifications are often insufficient in explaining
inferences, there is thus only little tool support for explaining inferences in
more expressive DLs. In this paper, we introduce EVEE-LIBS, a Java library for
computing proofs for DLs up to ALCH, and EVEE-PROTEGE, a collection of
Prot\'eg\'e plugins for displaying those proofs in Prot\'eg\'e. We also give a
short glimpse of the latest version of EVONNE, a more advanced standalone
application for displaying and interacting with proofs computed with EVEE-LIBS.
