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

Re: Reification

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 9 Apr 2001 10:26:56 -0500
Message-Id: <v04210107b6f67ecf7e5a@[]>
To: "Seth Russell" <seth@robustai.net>
Cc: www-rdf-logic@w3.org
>From: "Graham Klyne" <GK@ninebynine.org>
> > Until this, I never got any sense that open world negation was
> > impossible.
>Maybe that's because open world Truth is impossible too.  Rather Truth is
>relative to active processes. Perhaps the best we can hope for is a kind of
>propositional attitude that each agent calculates for it's self.

What on earth are you guys talking about? Truth and falsity have got 
nothing to do with the openness or closedness of the world, and 
nothing much to do with activity or processes.

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.

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Monday, 9 April 2001 13:24:49 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:34 UTC