if( expChecker.getExpressivity().isEL() && !PelletOptions.DISABLE_EL_CLASSIFIER ) {
builder = new SimplifiedELClassifier();
}
else {
builder = new CDOptimizedTaxonomyBuilder();
}
builder.setKB( this );
if (builderProgressMonitor != null) {
builder.setProgressMonitor(builderProgressMonitor);