- From: pat hayes <phayes@ai.uwf.edu>
- Date: Mon, 4 Jun 2001 21:30:05 -0500
- 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 UTC