Verifier offers some of what you seek. In essence it decomposes "your" rules into Facts that are inserted into a KnowledgeSession constructed with a set of analytical rules. The analytical rules check for certain validation and verification errors in your rules. I can't remember all that are provided by default but IIRC redundancy and subsumption are offered. You can also extend the set of analytical rules that are used to cover additional use cases not provided by default.

With kind regards, Mike 2011/4/13 Guy Moas <GMoas(a)fis-software.com <mailto:GMoas@fis-software.com>> Could you please help with the following questions?, whether Drools supporting it ·Rule ambiguity - Checking if multiple rules are ambiguous ·Rule completeness - Checking if the set of rules cover all the population Regards,** *Guy Moas* /– *Technical Project Manager*/ *cid:image001.jpg@01CB953C.44421930* tel: +972 (73) 2608276 *|* mobile: +972 (52) 3624583 *|* X-Lite: 8276*|* fax: +972 (73) 2608205 _GMoas(a)fis-software.com <mailto:GMoas@fis-software.com>_*|* http://www.fis-software.com <http://www.fis-software.com/> _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org <mailto:rules-users@lists.jboss.org> https://lists.jboss.org/mailman/listinfo/rules-users _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users