res.setAxiomTransformationTimeMs(System.currentTimeMillis() - start);
start = System.currentTimeMillis();
System.out.println("Running classification");
no.loadIncremental(new HashSet<Axiom>((Collection<? extends Axiom>) ont.getStatedAxioms()));
no.classifyIncremental();
res.setClassificationTimeMs(System.currentTimeMillis() - start);
start = System.currentTimeMillis();
System.out.println("Computing taxonomy");
no.buildTaxonomy();
res.setTaxonomyBuildingTimeMs(System.currentTimeMillis() - start);