[Attempto] paraphrasing quantification

[Jean-Marc Vanel]

2010/7/12 Gabriele Kahlout <gabriele at mysimpatico.com>

> Hello,
> I'm wondering why "There are 3 cards" is not paraphrased in any
> 'intelligent' way, eg. "There is a card X1. There is a card X2. There is a
> card X3."
>

First your proposed paraphrase is not semantically correct ACE (and FOL).
There is no garanty that the 3 variables are distinct.

A possible ACE paraphrase would be :
./ape.exe -guess -text 'p:X1 is a card. p:X2 is a card. p:X3 is a card. '
-solo paraphrase
X1 is a card.
X2 is a card.
X3 is a card.

A proper noun ( p: prefix ) is the way to "instanciate" a unique object.

-- 
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java
bytecode
+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/20100712/83070f5c/attachment.htm>