/** Clears the reasoner and reloads all the axioms in the imports closure. */
public void refresh() {
visitor.clear();
kb.clear();
importsClosure = ontology.getImportsClosure();
visitor.setAddAxiom(true);
for (OWLOntology ont : importsClosure) {
ont.accept(visitor);
}
visitor.verify();
shouldRefresh = false;
}
