<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Hi<div><br></div><div>Since quite some time the Attempto reasoner RACE can answer "how many" and "how much" queries.</div><div><br></div><div>Here is a simple example to show the basic functionality:</div><div><br></div><div><img apple-inline="yes" id="4256F7BC-38C1-4078-BBDB-98F099EA3964" height="312" width="797" apple-width="yes" apple-height="yes" src="cid:12BE826D-435E-4B8C-A2C2-1D9022A009BB@uzh.ch"></div><div><br></div><div>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><br></div><div>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><br></div><div>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><br></div><div><img apple-inline="yes" id="CC0CDED5-05D6-40DE-B542-07D709CF655D" height="327" width="810" apple-width="yes" apple-height="yes" src="cid:A07D75ED-5483-4D4E-8BD3-0B53A8432657@uzh.ch"></div><div><br></div><div><br></div><div>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><br></div><div><img apple-inline="yes" id="93F615D4-F600-41BA-8973-137009054752" height="309" width="781" apple-width="yes" apple-height="yes" src="cid:728CA19C-985A-4218-ADC6-DE0A05BE8005@uzh.ch"></div><div><br></div><div>Since in ACE proper names signify distinct objects we get 2 men as an answer.</div><div><br></div><div>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><br></div><div><img apple-inline="yes" id="AC593260-2083-4824-8D58-7AD7F99A944B" height="383" width="1141" apple-width="yes" apple-height="yes" src="cid:43793929-F817-4113-933B-4D0AFFC0F52D@uzh.ch"></div><div><br></div><div>To mark this case, RACE additionally produces a warning. </div><div><br></div><div>Please play around with this extension and give me your feedback. Do you think that the warning message is necessary?</div><div><br></div><div> --- nef</div></body></html>