Hi there!<br><br>After reading the SWRLEditor FAQ I am baffled...<br><br>Consider the following SWRL rules:<br> <br clear="all">hasChild(?x, ?y) ^  hasChild(?x, ?z)   → hasSibling(?y, ?z)<br>hasChild(?x, ?y) ^  hasChild(?x, ?z)  ^  differentFrom(M01, M02)  → hasSibling(?y, ?z)
<br>hasChild(?x, ?y) ^  hasChild(?x, ?z)  ^  differentFrom(?y, ?z)  → hasSibling(?y, ?z)<br><br>Why does the first rule fire in Jess, whilst the other two do not?<br><br>Execution of the first rule show that variables ?x, ?y and ?z are instantiated correctly with OWL individuals.
<br><br>Or am I missing something?<br><br>Thanks for your help.<br><br>Cheers!<br><br>- Lorne<br clear="all"><br>-- <br>Lorne H. Bouchard<br>Professeur associé<br>Département informatique<br>UQÀM<br><br>tél.: 1-514-488-5226
<br><br>"May the source always be with you,  even if some assembly is required !"