[Attempto] Ace View : strange extra variable in SWRL

[Jean-Marc Vanel]

Hi all

Consider this Ace View 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*
*and X is Y*
*then the busLine B is a localBusLine .*

and disregard the fact that departureTown is a questionable class, and "has"
is used for 2 different things.

The SWRL translation by Ace View  is :

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) *∧ sameAs(?x1, ?x11)*

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).

ACE , on the other side, is able to "inline" the identical original
variables X and Y :

./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, *and X is Y* then the busLine B is a localBusLine ."
*
*
*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 .*


-- 
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100414/fd79e14c/attachment.htm>