<div dir="ltr"><div><div><div>I'm probably too optimistic, but I tested this :<br><br>Axioms :<br>Marc gives 1 piece to Mary.<br>Jean gives 2 pieces to Mary.<br><br></div>Answer :<br>How many pieces have Mary ?<br><br>


</div><div>Results : <br><p>Query cannot be answered from axioms.</p></div><div><br></div>It's probably out of scope because, it implies to attributes a thing to an "agent"...  <br><br></div><div>Thank you for your great job.<br>


<br></div>Best regards<br><div class="gmail_extra"><br><br><div class="gmail_quote">2014-08-26 13:43 GMT+02:00 Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span>:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi<br>
<br>
After a long hiatus I have started again to work on the Attempto reasoner RACE (see <a href="http://attempto.ifi.uzh.ch/site/resources/" target="_blank">http://attempto.ifi.uzh.ch/site/resources/</a>).<br>
<br>
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.<br>



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



<br>
Best regards.<br>
<br>
   --- nef<br>
<br>
<br>
_______________________________________________<br>
attempto mailing list<br>
<a href="mailto:attempto@lists.ifi.uzh.ch" target="_blank">attempto@lists.ifi.uzh.ch</a><br>
<a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a><br>
</blockquote></div><br><br clear="all"><br>-- <br>---------------------<br><a href="https://twitter.com/#%21/ontologiae/" target="_blank">https://twitter.com/#!/ontologiae/</a><br><a href="http://linuxfr.org/users/montaigne" target="_blank">http://linuxfr.org/users/montaigne</a><br>



</div></div>