[Attempto] RACE answers queries "how many" and "how much"

[David Whitten]

Researching further, RACE does seem to do queries that include negation:

*Axioms*: 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.

*Query*: Who is not a human?

*Parameters*:

The following minimal subsets of the axioms answer the query:
Subset 1

   - 5: Fido is a dog.
   - 6: No dog is a human.
   - Substitution: who = (at least 1) dog

Maybe the problem is "and" processing. I get the same result from this
query:

*Axioms*: 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.

*Query*: Who is a man and is a woman ?

*Parameters*:
Query cannot be answered

Also: this is the full cut-and-paste for the woman who is not human:

*Axioms*: Every man is a human. Every woman is a human. Mary is a woman.
John is a man.

*Query*: Who is a woman and is not a human?

*Parameters*:

Query cannot be answered.



On Thu, Apr 12, 2012 at 5:27 PM, David Whitten <whitten at worldvista.org>wrote:

> I tried the query:
> Who is a woman and is not a human?
>
> I got the answer:
> Query cannot be answered.
>
> I'm confused. Does RACE do queries that have negation?
>
> Thanks,
> David
>
>
> On Thu, Apr 12, 2012 at 9:59 AM, Norbert E. Fuchs <fuchs at ifi.uzh.ch>wrote:
>
>> The Attempto Reasoner RACE (http://attempto.ifi.uzh.ch/race/) has been
>> experimentally extended to answer the queries "how many" and "how much" for
>> count, mass and measurement nouns.
>>
>> I'd appreciate your feedback.
>>
>> Regards.
>>
>> Norbert E. Fuchs
>> Department of Informatics & Institute of Computational Linguistics
>> University of Zurich
>>
>>
>>
>>
>> _______________________________________________
>> attempto mailing list
>> attempto at lists.ifi.uzh.ch
>> https://lists.ifi.uzh.ch/listinfo/attempto
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120412/d302ed8d/attachment.html>