modular.classify();
unified.getKB().classify();
comparisonMethod.compare( unified, modular );
modular.dispose();
}
private static void runComparisonUpdateTest(OWLOntology ontology, ModuleExtractor modExtractor,
Collection<OWLAxiom> additions, Collection<OWLAxiom> deletions, ReasonerComparisonMethod comparisonMethod) {
PelletReasoner unified = PelletReasonerFactory.getInstance().createNonBufferingReasoner( ontology );