Re: A case for a datatype for identifying RDF graphs

> On 10. May 2021, at 22:51, Martynas Jusevičius <martynas@atomgraph.com> wrote:
> 
> Doesn't this require having a canonical serialization? Even
> N-Triples/Quads can be ordered in different ways.
> 
> XML has a canonical form, but of course XML only has a single syntax.
> https://www.w3.org/TR/xml-c14n11/

I am not sure if it requires a canonical serialization. But a canonical serialization
helps of course. A Canonical Serialization makes it easy to make equality comparisons,
and as I understand this is central to many functional programming languages view of identity.

Linked Data Signatures could perhaps bring something here
https://w3c.github.io/lds-wg-charter/explainer.html

But I think Homotopy Type Theory tells us that
equality goes beyond canonical serialization.

https://core.ac.uk/download/pdf/269021332.pdf

Ie. HoTT shows that binary and decimal numbering systems are equivalent, even
though they have different serializations, because one can map from one to the
other in precise ways.

Henry
https://co-operating.systems/



> 
> On Fri, May 7, 2021 at 8:09 PM Antoine Zimmermann
> <antoine.zimmermann@emse.fr> wrote:
>> 
>> To be fair, it has been attempted before:
>> 
>> 1) Ivan Herman edited a draft that contained the idea (but apparently,
>> it did not really made it to completion)
>> 2) Henry just replied to my email saying that he had a similar (or even
>> the same) idea some time ago.
>> 
>> I believe that this idea is in the head of several people, but for some
>> reason, no one has gone so far as to actually propose it formally,
>> implement it, advocate it, etc. to a larger community.
>> 
>> --AZ
>> 
>> Le 07/05/2021 à 17:56, David Booth a écrit :
>>> On 5/7/21 11:03 AM, Antoine Zimmermann wrote:
>>>> TL;DR: I propose a datatype that has values that are RDF graphs
>>> 
>>> +1
>>> 
>>> It's really kind of astounding that this has not been done already.
>>> 
>>> David Booth
>>> 
>> 
>> --
>> Antoine Zimmermann
>> École des Mines de Saint-Étienne
>> 158 cours Fauriel
>> CS 62362
>> 42023 Saint-Étienne Cedex 2
>> France
>> Tél:+33(0)4 77 42 66 03
>> http://www.emse.fr/~zimmermann/
>> 
>