Researching further, RACE does seem to do queries that include negation:<br><div class="in"><p><b>Axioms</b>: Every man is a human. Every woman is a human. 
Mary is a woman. John is a man. Fido is a dog.
No dog is a human.
</p><p><b>Query</b>: Who is  not a human?</p><p><b>Parameters</b>: </p></div><p>The following minimal subsets of the axioms answer the query:</p>Subset 1<ul><li>5: Fido is a dog.</li><li>6: No dog is a human.</li><li>Substitution: who = (at least 1) dog</li>
</ul>Maybe the problem is "and" processing. I get the same result from this query:<br>
<div class="in"><p><b>Axioms</b>: Every man is a human. Every woman is a human. 
Mary is a woman. John is a man. Fido is a dog.
No dog is a human.
</p><p><b>Query</b>: Who is a man and is a woman ?</p><p><b>Parameters</b>: </p></div>Query cannot be answered<br><br>Also: this is the full cut-and-paste for the woman who is not human:<br><br><div class="in"><p><b>Axioms</b>: Every man is a human. Every woman is a human. 
Mary is a woman. John is a man.
</p><p><b>Query</b>: Who is a woman and is not a human?</p><p><b>Parameters</b>: </p></div><p>Query cannot be answered.</p><p><br></p><br><div class="gmail_quote">On Thu, Apr 12, 2012 at 5:27 PM, David Whitten <span dir="ltr"><<a href="mailto:whitten@worldvista.org">whitten@worldvista.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I tried the query:<br>Who is a woman and is not a human?<br><br>I got the answer:<br>Query cannot be answered.<br><br>I'm confused. Does RACE do queries that have negation?<br>
<br>Thanks,<br>David<div class="HOEnZb"><div class="h5"><br><br><div class="gmail_quote">
On Thu, Apr 12, 2012 at 9:59 AM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

The Attempto Reasoner RACE (<a href="http://attempto.ifi.uzh.ch/race/" target="_blank">http://attempto.ifi.uzh.ch/race/</a>) has been experimentally extended to answer the queries "how many" and "how much" for count, mass and measurement nouns.<br>


<br>
I'd appreciate your feedback.<br>
<br>
Regards.<br>
<br>
Norbert E. Fuchs<br>
Department of Informatics & Institute of Computational Linguistics<br>
University of Zurich<br>
<br>
<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>
</div></div></blockquote></div><br>