@Override
 public void render(OWLOntology ontology, Writer writer) throws OWLRendererException {
   try {
     KRSS2ObjectRenderer ren = new KRSS2ObjectRenderer(ontology, writer);
     ontology.accept(ren);
     writer.flush();
   } catch (IOException io) {
     throw new OWLRendererIOException(io);
   } catch (OWLRuntimeException e) {
     throw new OWLRendererException(e);
   }
 }
Esempio n. 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;
  }