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

Re: Question on DL negation

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Tue, 6 Mar 2007 09:10:46 +0000
Message-Id: <D2A24F9C-7ECE-4B5E-8873-8029477F1F8F@cs.man.ac.uk>
Cc: public-owl-dev@w3.org, semantic-web@w3.org
To: pratt@cs.stanford.edu

On Mar 6, 2007, at 8:09 AM, Vaughan Pratt wrote:

>>> 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.

I meant "right" anyway :)

Cheers,
Bijan.
Received on Tuesday, 6 March 2007 09:10:50 GMT

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