Knowledge refinement tools seek to correct faulty
knowledge based systems (KBSs) by identifying
and repairing potentially faulty rules. The goal
of the KrustWorks project is to provide a source
of refinement components ...