W3C home > Mailing lists > Public > semantic-web@w3.org > 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.

Received on Tuesday, 6 March 2007 08:09:48 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:00 UTC