public ATermAppl term(OWLObject d) {
refreshCheck();
visitor.reset();
visitor.setAddAxiom(false);
d.accept(visitor);
ATermAppl a = visitor.result();
if (a == null) throw new InternalReasonerException("Cannot create ATerm from description " + d);
return a;
}
/** 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;
}
