Re: Towards a final consensus re statements & statings

While still digesting all these messages, we try to give some points.
A statement triple is unique but we can have many notations:

1. Plain RDF:
     <rdf:Description about="s">
       <p>o</p>
     </rdf:Description>

2. Assembly RDF:
     <rdf:Statement>
       <rdf:subject>s</rdf:subject>
       <rdf:predicate>p</rdf:predicate>
       <rdf:object>o</rdf:object>
     </rdf:Statement>
   It is a bit lengthy and could be used for nesting s and o.

3. Interned notation:
     [s]p[o]
   This is rather compact and could be used for nesting s and o.

If we assert a statement triple we have a fact or rule (stating).

It's just an idea, but why not use that interned thing as a
(Skolem) value for the statement triple identification?
So one could write things like
  context-URI#[s]p[[a]b[c]]
It is reasonably compact, is easy to compute, can handle
nested models, etc...

--
Jos De Roo

p.s. for a quad we assume that the context-URI is the extra thing