}
}
private void explainAxiom(OWLAxiom axiom) throws OWLException {
MultipleExplanationGenerator expGen = new HSTExplanationGenerator(getSingleExplanationGenerator());
RendererExplanationProgressMonitor rendererMonitor = new RendererExplanationProgressMonitor(axiom);
expGen.setProgressMonitor(rendererMonitor);
OWLClassExpression unsatClass = converter.convert( axiom );
Timer timer = timers.startTimer("explain");
Set<Set<OWLAxiom>> explanations = expGen.getExplanations( unsatClass, maxExplanations );
timer.stop();
if (explanations.isEmpty()) {
rendererMonitor.foundNoExplanations();
}