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

Re: Proposal for extensional representation of statements.

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 4 Jun 2001 21:30:05 -0500
Message-Id: <v0421011eb741f42a5ce2@[205.160.76.219]>
To: "Seth Russell" <seth@robustai.net>
Cc: www-rdf-logic@w3.org
>There are two ways to represent statements:
>
>1) Intensionally - This is the way RDF M&S does it with the reification
>quad.   In  that quad we specify the criteria which identifies a statement.
>In other words we say that we are talking about any statement which
>satisfies the properties subject=s, property=p, and object=o.  Such an
>intensional representation of a statement refers to the ideal triple, but
>not to its context of utterance.
>
>2) Extensionally - Such a method would need to be able to point out any
>statement in its context of utterance.

Well, just to keep the terminology straight, these aren't the usual 
senses of "intensional" and "extensional". In fact, reification is 
purely extensional (in contrast with modal indirection) in the usual 
sense.

Pat Hayes

---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Monday, 4 June 2001 22:30:05 GMT

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