Efficiently organizing and retrieving software component is the key to software reuse technique. The paper introduces an information retrieval system for supporting software reuse-KDZ. The system bases on the formal description of software component, and takes the reusability theory as the rule of verification. By the Combination of term-rewriting and retrieving technique, the KDZ system has the function of semantics verification.