// add to updated
final IncrementalChangeTracker tracker = kb.getABox().getIncrementalChangeTracker();
// because this node was pruned, we must guarantee that all of
// its lables have been fired
tracker.addUnprunedNode( ind );
if( ind instanceof Individual ) {
tracker.addUpdatedIndividual( (Individual) ind );
}