In: IEEE Transactions on Knowledge and Data Engineering, Vol.6, No.6, pages 983-989. December 1994. D. Zhang is the same entry as Du Zhang.
Abstract: PREPARE is based on modeling a knowledge base by using a Predicate/Transition net representation. Inconsistent, redundant, subsumed, circular and incomplete rules in a knowledge base are then defined as patterns of the Predicate/Transition net model, and are detected through a syntactic pattern recognition method.