return;
}
ArrayList<Object> results = new ArrayList<Object>();
while (results.size() < reasonerNumber) {
AnytimeResult result = pool.readData();
if (result != null) {
results.add(result);
setData(result.getReasoner(), (Set<OWLNamedIndividual>) result.getAnswer());
if(logger.isInfoEnabled()){
logger.info(result.getReasoner() + "finished with "
+ ((HashSet) result.getAnswer()).size() + " results.");
}
}
}
this.listener.resultCompleted();
if(logger.isInfoEnabled()){