示例#1
0
  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;
  }
示例#2
0
  /** 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;
  }