}
public Taxonomy<ATermAppl> getHierarchy() {
assertTrue( "Expressivity is not EL", kb.getExpressivity().isEL() );
TaxonomyBuilder builder = null;
try {
builder = builderClass.newInstance();
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;
}