[Attempto] RACE negation less than

[Norbert E. Fuchs]

On 5 Apr 2009, at 10:59, Jason Livesay wrote:

> Hello.  I am hoping someone can help me figure out how to properly  
> write axioms and queries involving 'not' and 'less than' in RACE.  I  
> am using the web interface at http://attempto.ifi.uzh.ch/site/ 
> tools/.  I am trying different combinations but 'not' and 'less  
> than' never seem to do what I expect.  Perhaps there are other words  
> I can use.  Is there a way to state that all wines are either  
> inexpensive or expensive?  This is what I have entered and the  
> response (I cannot understand why it will not say that BlendY is  
> inexpensive):
>
> ...

On 5 Apr 2009, at 12:52, Jason Livesay wrote:

> Well, not to spam, but it seems that maybe a few things like 'less  
> than' and 'at most' are just not implemented?  This is what ACE  
> Editor says:

Jason

Thanks for your mail.

Just a quick reply concerning RACE.

We decided to change the representations of "at most", "less than" and  
"exactly (see my message to this list of 30 March 2009), and are in  
the transition of adapting our tools - including RACE -  to this new  
representation. Currently, I am working on the necessary changes of  
RACE's auxiliary axioms, and hope to provide a new version of RACE in  
a short time. Please be patient until then.

Concerning ACE Editor, Tobias Kuhn will certainly react once he will  
have seen your message.

Regards.

    --- nef