Re: A triple is not unique.

Given a statement:

    [s] --p--> [o]

and the further statements

    [S1] --rdf:type-------> [rdf:Statement]
    [S1] --rdf:subject----> [s]
    [S1] --rdf:predicate--> [p]
    [S1] --rdf:object-----> [o]

I think it's more helpful to say "S1 reifies [s]--p-->[o]" that to say that 
"S1 is the reification of [s]--p-->[o]".

In this way, using different identifiers to describe "[s]--p-->[o]" does 
not force us to conclude that there are multiple instances of the statement 
itself.  The abstract triple can then be legitimately regarded as unique.

#g
------------
Graham Klyne
(GK@ACM.ORG)