// check, which reasoners are available initially
Set<ReasonerAdapter> availableReasoners = registry.getAsSet( true , true);
int reasonersTried = availableReasoners.size();
if( availableReasoners.isEmpty() )
throw new NoReasonerException( "No reasoner available." );
try {
// first do the same as in the BasicPStrategy
super.execute(query, result);
return;
} catch( HeraklesException e ) {