On 1 Jan 2024, at 22:15, Gregg Kellogg <gregg@greggkellogg.net> wrote:
Perhaps I mis-understand this point; I get that << :r | :s :p :o >> can be used in multiple triples to identify the same occurrence and that << :r1 | :s :p :o >> identifies a separate occurrence. How would << :r | :s :p :o >> and << :r | :s1 :p1 :o1 >> relate to each other? Why should this be considered valid? Can :r be thought to have some meaning aside from being an identifier of a triple occurrence?
It has to be considered valid, since distinct URIs could denote the same resource, and therefore syntactically distinct triple terms may share the same occurrence.
For example:
<< wed-1 | :liz :spouse :richard >> .
:starts 1964; :end 1974 .
:richard owl:same-as :richard-burton
⊨
<< :wed-1 | :liz :spouse :richard-burton >> .
—e.