- 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
> [...] > 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 UTC