Verifier offers some of what you seek.<br><br>In essence it decomposes "your" rules into Facts that are inserted into a KnowledgeSession constructed with a set of analytical rules.<br><br>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.<br>
<br>You can also extend the set of analytical rules that are used to cover additional use cases not provided by default.<br><br>With kind regards,<br><br>Mike <br><br><div class="gmail_quote">2011/4/13 Guy Moas <span dir="ltr"><<a href="mailto:GMoas@fis-software.com">GMoas@fis-software.com</a>></span><br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div link="blue" vlink="purple" lang="EN-GB">
<div>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Could you please help with the following questions?, whether
Drools supporting it</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> </p>
<p><span style="font-family: Symbol;" lang="EN-US"><span>·<span style="font: 7pt "Times New Roman";">
</span></span></span><span dir="LTR"></span><span lang="EN-US">Rule
ambiguity - Checking if multiple rules are ambiguous </span></p>
<p><span style="font-family: Symbol;" lang="EN-US"><span>·<span style="font: 7pt "Times New Roman";">
</span></span></span><span dir="LTR"></span><span lang="EN-US">Rule
completeness - Checking if the set of rules cover all the population</span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"><span lang="EN-US"> </span></p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> </p>
<p class="MsoNormal">Regards,<b><span style="color: rgb(227, 108, 10);" lang="EN-US"></span></b></p>
<p class="MsoNormal"><b><span style="color: rgb(227, 108, 10);">Guy Moas</span></b> <i>–
<b><span style="color: gray;">Technical Project Manager</span></b></i>
<b><img src="cid:image001.jpg@01CBFA09.2398B090" alt="cid:image001.jpg@01CB953C.44421930" height="38" width="125"></b></p>
<p class="MsoNormal"><span style="font-size: 10pt; color: rgb(127, 127, 127);">tel: +972 (73)
2608276 <b>|</b> mobile: +972 (52) 3624583 <b>|</b> X-Lite: 8276<b> |</b> fax:
+972 (73) 2608205</span><span style="font-size: 10pt; color: rgb(127, 127, 127);" lang="EN-US"></span></p>
<p class="MsoNormal"><u><span style="font-size: 10pt; color: blue;" lang="EN-US"><a href="mailto:GMoas@fis-software.com" target="_blank">GMoas@fis-software.com</a></span></u><span style="font-size: 10pt;"> <b><span style="color: rgb(127, 127, 127);"> |</span></b> </span><span lang="EN-US"><a href="http://www.fis-software.com/" target="_blank"><span style="font-size: 10pt; color: blue;">http://www.fis-software.com</span></a></span></p>
<p class="MsoNormal"> </p>
</div>
</div>
<br>_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
<br></blockquote></div><br>