On the Refinement of Nonmonotomic Knowledge Bases