OntBuilder builder = new OntBuilder( kb );
KnowledgeBase copyKB;
PelletInfGraph copyGraph;
GraphLoader loader = new DefaultGraphLoader();
for( ATermAppl axiom : explanation ) {
prunedExplanation.remove( axiom );
copyKB = builder.build( prunedExplanation );
copyGraph = new PelletInfGraph( copyKB, (PelletReasoner) getReasoner(), loader );