builder.setKB( kb );
} catch( Exception e ) {
throw new RuntimeException( e );
}
builder.setProgressMonitor( new SilentProgressMonitor() );
builder.classify();
Taxonomy<ATermAppl> taxonomy = builder.getTaxonomy();
// taxonomy.getTop().print();
return taxonomy;