public void run() {
// classify ontology
Timer timer = timers.startTimer( "reasonerClassify" );
reasoner.flush();
reasoner.getKB().classify();
timer.stop();
if( log.isLoggable( Level.FINE ) ) {
log.fine( "Regular taxonomy:" );
new TreeTaxonomyPrinter<ATermAppl>().print( reasoner.getKB().getTaxonomy(), new PrintWriter( System.err ) );