W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

Re: Question on DL negation

From: Vaughan Pratt <pratt@cs.stanford.edu>
Date: Tue, 06 Mar 2007 00:09:36 -0800
Message-ID: <45ED21C0.3000909@cs.stanford.edu>
To: public-owl-dev@w3.org, semantic-web@w3.org


>> Er... \forall(x)(C(x) \leftarrow \neg D(x)).
>  My reading of your example is that whenever C holds of x, D
> does not,

Sorry, I just noticed the "left," by which I assume you mean, whenever D 
does not hold of x, C does.  Either way, my point remains that 
predicates do have truth values.

Vaughan
Received on Tuesday, 6 March 2007 08:09:52 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:54 GMT