Re: Thoughts on the LDS WG chartering discussion

On 6/10/21 6:28 AM, Ivan Herman wrote:

> Graphs/Datasets are more often than not store[d] in datastores, triple 
> stores, knowledge graphs, you name it. 
Agreed.
> The serialization format used to feed the triple store is irrelevant, 
Agreed..
> and clients of such triple stores may request the data in different 
> serialization format that suits their needs.
Agreed.
> If the consistency of such graphs (ie, set of triples or quads in the triple 
> store) has to be checked
> via, say, a hash, then the approach you are describing does not work, due to 
> the problem of bnode labels: triplestores are free to relabel the bnodes of 
> incoming graphs and producing new labels when they export them.

How does "consistency" fit into this?  Every RDF graph (or datastore) is 
consistent.

If you mean that one wants to determine whether one RDF graph (or datastore) 
is isomorphic to another, then just serialize the contents of one in N-Triples 
(or N-Quads) and verifiably send that document to the other where the document 
can be deserialized and the result compared  for isomorphism with the local 
graph (or datastore).   If you want to optimize the process then, yes, you can 
canonicalize each graph independently into N-Triples (or N-Quads) and compare 
hashes of the documents but this is not necessary.

>
> Also: isomorphic graphs do not have the same hash value, because graphs may 
> be ony be isomorphic via a suitable relabeling of bnodes.
Graphs are isomorphic or not.  Relabelling of bnodes does not affect 
isomorphism.  This is necessarily the case because bnode labels are not part 
of the RDF abstract syntax (data model).  In any case, an RDF graph isn't a 
document and doesn't directly have a hash value.
>
> Ivan
>
peter

Received on Thursday, 10 June 2021 11:57:52 UTC