for( ReasonerAdapter reasoner : reasonerPool ) {
Properties reasonerProperties = reasoner.getReasonerProperties();
// double aBoxTBoxRatioLowerBound = Double.parseDouble( reasonerProperties.getProperty( "ABoxTBoxRatioLowerBound", "0" ) );
// double aBoxTBoxRatioUpperBound = Double.parseDouble( reasonerProperties.getProperty( "ABoxTBoxRatioUpperBound", "1" ) );
FunctionConfiguration functionCfg = HeraklesManager.getFunctionConfiguration();
ReasonerRegistry registry = HeraklesManager.getReasonerRegistry();
String reasonerID = registry.getReasonerID(reasoner);
double aBoxTBoxRatioLowerBound = functionCfg.getLowerBound(reasonerID);
double aBoxTBoxRatioUpperBound = functionCfg.getUpperBound(reasonerID);
if(logger.isDebugEnabled()){
logger.debug("The lower bound is: " + aBoxTBoxRatioLowerBound);
logger.debug("The upper bound is: " + aBoxTBoxRatioUpperBound);
}