W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: Reification

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 10 Apr 2001 17:16:39 +0100
To: phayes@ai.uwf.edu
Cc: seth@robustai.net, www-rdf-logic@w3.org
Message-Id: <OF08DE198D.D323BD41-ON41256A2A.00584986@bayer-ag.com>


> [...]
> Pat Hayes
>
> PS. Also, by the way: negation is not a relation; to negate a
> relation is not to invert it; 'open world' negation is exactly the
> same as any other negation; and encoding is not the same as
> representing.  And no, I am not going to explain why. Go read a book.

I've actually read tens of books, but there are also quite
instructive lessons such as
"High Level History and Overview of Mathematical and Logic
 Techniques Used in Mechanical Theorem Proving
 By: Elita Cheung"
at http://www.stanford.edu/~elitach/soco/theory.htm

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 10 April 2001 11:16:59 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT