RE: reification test case

>On Mon, 2002-02-04 at 07:12, Jeremy Carroll wrote:
>>  My vote: no.
>
>I vote yes.
>
>This is what "triple" means, after all, no?
>if x=xx, y=yy, z=zz, then (x,y,z)=(xx,yy,zz), no?
>

Speaking as a pure mathematician, yes. But then I wouldn't try to 
send those Platonic triples along wires or record their provenances, 
or indeed ever say anything about them except pure-math kinds of 
thing.

Speaking as a computer person, no; a triple is a data structure, and 
I might have many (isomorphic, but) distinct versions of the same 
triple structure. In LISP I can make two lists with the very same 
members (eq-same) but they are still two different lists.

Speaking as a linguist, it depends what you mean. If you are talking 
about triple tokens, then no; if about triple types, then yes.  And 
the M&S notoriously didnt make up its mind which it meant.

>| There is a set called Statements, each element of which is a
>| triple of the form
>|
>| {pred, sub, obj}
>   -- http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/#model
>
>If we're not going to take the implications of reification
>seriously, let's just throw it out.

The issue is what those implications are, not whether or not to take 
them seriously.

Pat


>
>>  > -----Original Message-----
>>  > Does
>>  > >  <stmt1> <rdf:type>      <rdf:Statement> .
>>  > >  <stmt1> <rdf:subject>   <subject> .
>>  > >  <stmt1> <rdf:predicate> <predicate> .
>>  > >  <stmt1> <rdf:object>    <object> .
>>  > >
>>  > >  <stmt2> <rdf:type>      <rdf:Statement> .
>>  > >  <stmt2> <rdf:subject>   <subject> .
>>  > >  <stmt2> <rdf:predicate> <predicate> .
>>  > >  <stmt2> <rdf:object>    <object> .
>>  > >
>>  > >  <stmt1> <property>      <foo> .
>>  > >
>>  > >  entail:
>>  > >
>>  > >  <stmt2> <property>      <foo> .
>>  >
>>  >
>>  > Brian
>
>--
>Dan Connolly, W3C http://www.w3.org/People/Connolly/


-- 
---------------------------------------------------------------------
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 February 2002 19:59:01 UTC