if( log.isLoggable( Level.FINER ) ) {
log.finer( "Pruned " + formatAxioms( prunedExplanation ) );
}
AxiomConverter converter = new AxiomConverter( kb, explanationGraph );
for( ATermAppl axiom : prunedExplanation ) {
converter.convert( axiom );
}
}
if( log.isLoggable( Level.FINE ) ) {
log.fine( "Explanation " + explanationGraph );