<html><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:14pt"><div class="" style=""><span class="" style="">Nice!</span></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: HelveticaNeue, 'Helvetica Neue', Helvetica, Arial, 'Lucida Grande', sans-serif; font-style: normal; background-color: transparent;" class=""><span class="" style=""><br class="" style=""></span></div><div style="background-color: transparent;" class="">Tested </div><div style="background-color: transparent;" class=""> John is a man. Harry is a man. John is Harry.</div><div style="background-color: transparent;" class=""> There are how many men?</div><div style="background-color: transparent;" class="">at <a href="http://attempto.ifi.uzh.ch/race/" class="" style="">http://attempto.ifi.uzh.ch/race/</a></div><div
style="background-color: transparent;" class=""><br class="" style=""></div><div style="background-color: transparent;" class=""><span class="" style=""></span></div><div style="background-color: transparent;" class="">If it is always going to be the case that the user will have to explicitly specify that different names refer to the same object for that interpretation, I think the warning is a distraction.</div><div style="background-color: transparent;" class=""><br></div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: HelveticaNeue, 'Helvetica Neue', Helvetica, Arial, 'Lucida Grande', sans-serif; font-style: normal; background-color: transparent;" class="">regards,</div><div style="color: rgb(0, 0, 0); font-size: 19px; font-family: HelveticaNeue, 'Helvetica Neue', Helvetica, Arial, 'Lucida Grande', sans-serif; font-style: normal; background-color: transparent;" class="">george h</div> <div class="qtdSeparateBR"><br><br></div><div
class="yahoo_quoted" style="display: block;"> <div style="font-family: HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif; font-size: 14pt;" class=""> <div style="font-family: HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif; font-size: 12pt;" class=""> <div dir="ltr" class="" style=""> <font size="2" face="Arial" class="" style=""> On Saturday, August 30, 2014 10:09 AM, Norbert E. Fuchs <fuchs@ifi.uzh.ch> wrote:<br class="" style=""> </font> </div> <br class="" style=""><br class="" style=""> <div class="" style=""><div id="yiv5441630456" class="" style=""><div class="" style="">Hi<div class="" style=""><br class="" style=""></div><div class="" style="">Since quite some time the Attempto reasoner RACE can answer "how many" and "how much" queries.</div><div class="" style=""><br class="" style=""></div><div class="" style="">Here is a simple example to show the basic functionality:</div><div
class="" style=""><br class="" style=""></div><div class="" style=""><img id="yiv54416304564256F7BC-38C1-4078-BBDB-98F099EA3964" height="312" width="797" src="cid:1.16123703@web180901.mail.ne1.yahoo.com" class="" style=""></div><div class="" style=""><br class="" style=""></div><div class="" style="">Note: "three-coloured" is not part of ACE's standard lexicon and I give it the prefix "a:" to indicate to the ACE parser that it is an adjective.</div><div class="" style=""><br class="" style=""></div><div class="" style="">Since RACE does not have any information concerning the relation of three-coloured cats and male cats, it can only safely deduce that there are (at least) 3 cats. </div><div class="" style=""><br class="" style=""></div><div class="" style="">Knowing however, that all three-coloured cats are female we add this information as "No three-coloured cat is a male cat." and get now 5 cats.</div><div class="" style=""><br class=""
style=""></div><div class="" style=""><img id="yiv5441630456CC0CDED5-05D6-40DE-B542-07D709CF655D" height="327" width="810" src="cid:2.16123703@web180901.mail.ne1.yahoo.com" class="" style=""></div><div class="" style=""><br class="" style=""></div><div class="" style=""><br class="" style=""></div><div class="" style="">In the last days I extended RACE to cover also "how many" queries where the elements to be counted are identified by proper names. Here is an instructive example:</div><div class="" style=""><br class="" style=""></div><div class="" style=""><img id="yiv544163045693F615D4-F600-41BA-8973-137009054752" height="309" width="781" src="cid:3.16123703@web180901.mail.ne1.yahoo.com" class="" style=""></div><div class="" style=""><br class="" style=""></div><div class="" style="">Since in ACE proper names signify distinct objects we get 2 men as an answer.</div><div class="" style=""><br class="" style=""></div><div class="" style="">Now let us
assume that we learn that the two persons called "John" and "Harry" are in fact the same person - perhaps named "John Harry" and called variously by one or the other name. We add this information and get just 1 man as an answer.</div><div class="" style=""><br class="" style=""></div><div class="" style=""><img id="yiv5441630456AC593260-2083-4824-8D58-7AD7F99A944B" height="383" width="1141" src="cid:4.16123703@web180901.mail.ne1.yahoo.com" class="" style=""></div><div class="" style=""><br class="" style=""></div><div class="" style="">To mark this case, RACE additionally produces a warning. </div><div class="" style=""><br class="" style=""></div><div class="" style="">Please play around with this extension and give me your feedback. Do you think that the warning message is necessary?</div><div class="" style=""><br class="" style=""></div><div class="" style=""> --- nef</div></div></div><br class=""
style="">_______________________________________________<br class="" style="">attempto mailing list<br class="" style=""><a ymailto="mailto:attempto@lists.ifi.uzh.ch" href="mailto:attempto@lists.ifi.uzh.ch" class="" style="">attempto@lists.ifi.uzh.ch</a><br class="" style=""><a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank" class="" style="">https://lists.ifi.uzh.ch/listinfo/attempto</a><br class="" style=""><br class="" style=""><br class="" style=""></div> </div> </div> </div> </div></body></html>