[Attempto] Ace View : strange extra variable in SWRL

[Norbert E. Fuchs]

On 14 Apr 2010, at 21:40, Jean-Marc Vanel wrote:

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

Nope. As can be seen in the DRS generated from your input


DRS
[]
   [A, B, C, D, E, F, G, H, I, J]
   object(A, busLine, countable, na, eq, 1)-1/5
   object(B, departureTown, countable, na, eq, 1)-1/11
   predicate(C, have, A, B)-1/7
   object(D, arrivalTown, countable, na, eq, 1)-1/19
   predicate(E, have, A, D)-1/15
   object(F, location, countable, na, eq, 1)-1/25
   predicate(G, have, B, F)-1/23
   object(H, location, countable, na, eq, 1)-1/31
   predicate(I, have, D, H)-1/29
   predicate(J, be, F, H)-1/35
   =>
   [K, L]
   object(K, localBusLine, countable, na, eq, 1)-1/47
   predicate(L, be, A, K)-1/43

ACE does not identify the variables X and Y – see the DRS condition immediately preceding the implication operator. 

In fact, the copula "to be" is intentionally under-represented in the DRS to allow various interpretations, for instance identity, class membership, or predication.

The interpretation of the copula as identity is the done in the paraphraser that represents the DRS as

Paraphrase
Every n:busLine that has a n:departureTown that has a location that is a location X1 that has an n:arrivalTown that has the location X1 is a n:localBusLine .

   --- nef