Verifier offers some of what you seek.<br><br>In essence it decomposes &quot;your&quot; 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&#39;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">&lt;<a href="mailto:GMoas@fis-software.com">GMoas@fis-software.com</a>&gt;</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 &quot;Times New Roman&quot;;">        
</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 &quot;Times New Roman&quot;;">        
</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>