[Attempto] Attempto reasoner RACE

[Pierre-Alexandre Voye]

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

Thank you for your great job.

Best regards


2014-08-26 13:43 GMT+02:00 Norbert E. Fuchs <fuchs at ifi.uzh.ch>:

> Hi
>
> After a long hiatus I have started again to work on the Attempto reasoner
> RACE (see http://attempto.ifi.uzh.ch/site/resources/).
>
> Today I finished a reimplementation of the part of RACE that covers
> reasoning with the generalised quantifier 'exactly', the previous
> implementation of which had left me dissatisfied. If you are interested,
> please check this new implementation on RACE's web interface and give me
> your feedback. While you at it, you may also want to experiment with RACE's
> reasoning with numbers, arithmetic expressions and Boolean formulas.
>
> Next I will work on what I have promised for quite some time, namely
> making RACE public on GitHub. Since I have to clean up the code, collect
> the many test cases found in various files and update the documentation,
> this may take more time than just a day or two. I will keep you informed of
> my progress.
>
> Best regards.
>
>    --- nef
>
>
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>



-- 
---------------------
https://twitter.com/#!/ontologiae/
http://linuxfr.org/users/montaigne
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20140826/f4634025/attachment.html>