<div>Hi all</div><div><br></div><div><div>Consider this Ace View text:</div><div><br></div><div><i>If a busLine B has a departureTown D</i></div><div><i>and B has an arrivalTown A</i></div><div><i>and D has a location X</i></div> <div><i>and A has a location Y</i></div><div><i>and X is Y</i></div><div><i>then the busLine B is a localBusLine .</i></div></div><div><br></div><div>and disregard the fact that departureTown is a questionable class, and "has" is used for 2 different things.</div> <div><br></div><div><div>The SWRL translation by Ace View is :</div><div><br></div><div><font class="Apple-style-span" face="'courier new', monospace">arrivalTown(?x4) , busLine(?x1) , departureTown(?x2) , location(?x6) , location(?x8) , have(?x1, ?x2) , have(?x1, ?x4) , have(?x2, ?x6) , have(?x4, ?x8) , sameAs(?x6, ?x8) -> localBusLine(?x11) <b>∧ sameAs(?x1, ?x11)</b></font></div> </div><div><br></div>It is strange that an extra variable ?x11 is added, together with a sameAs clause in the consequent (and of course my SWRL => N3 logic translator is not prepared to that).<br clear="all"><br><div>ACE , on the other side, is able to "inline" the identical original variables X and Y :</div> <div><br><div><div><font class="Apple-style-span" face="'courier new', monospace">./ape.exe -solo paraphrase -guess -text "If a busLine B has a departureTown D, and B has an arrivalTown A, and D has a location X, and A has a location Y, <b>and X is Y</b> then the busLine B is a localBusLine ."</font></div> <div><i><br></i></div><div><i>Every n:busLine that has a n:departureTown that has a n:location that is a n:location X1 that has an n:arrivalTown that has the n:location X1 is a n:localBusLine .</i></div></div><div><br></div> <div><br>-- <br>Jean-Marc Vanel<br>Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a><br>+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16<br> ( we rarely listen to voice messages, please send a mail instead )<br> </div></div>