[Attempto] Attempto reasoner RACE

[Norbert E. Fuchs]

On 26 Aug 2014, at 14:15 , Pierre-Alexandre Voye <ontologiae at gmail.com> wrote:

> I'm probably too optimistic, but I tested this :
> 
> Axioms :
> Marc gives 1 piece to Mary.
> Jean gives 2 pieces to Mary.
> 
> Answer :
> How many pieces have Mary ?
> 
> Results : 
> Query cannot be answered from axioms.
> 
> 
> It's probably out of scope because, it implies to attributes a thing to an "agent"...  

Pierre-Alexandre 

Well, some important information is missing, namely that when somebody gives something to Mary then Mary has this something. You assumed this information, but RACE does not have it. 

So let's see what we get with this information using RACE's web-client:



Please note that RACE interprets "N noun" as "at least N noun".

As you see, the answer is "(at least 2) pieces" since there is no information that the piece given by Marc and the 2 pieces given by Jean are distinct. So we can only safely assume that there are 2 pieces. 

Let's make the pieces distinct:



Now we get the expected answer "(at least 3) pieces".

For reasons that I do not understand right away, the axiom "If somebody gives something Z to Mary then Mary has Z." does not show up in this result. This is probably a bug.

> Thank you for your great job.

You are welcome.

   --- nef

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20140826/72bec48e/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2014-08-26 at 14.56.06 .png
Type: image/png
Size: 180026 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20140826/72bec48e/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2014-08-26 at 15.03.20 .png
Type: image/png
Size: 131479 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20140826/72bec48e/attachment-0003.png>