Some Research Issues for KB Refinement