try {
boolean firstExplanation = isFirstExplanation();
// save the reasoner so we won't have to reload anything
OWLClassReasoner savedReasoner = reasoner;
if (!firstExplanation) {
reasoner = getAltReasoner();
reasoner.clearOntologies();
reasoner.loadOntologies(getOntologies());