Re: Action point: discussing contra use case against referential opacity from Peter F. Patel-Schneider on 2020-11-19 (public-rdf-star@w3.org from November 2020)

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Thu, 19 Nov 2020 13:12:32 -0500
To: public-rdf-star@w3.org
Message-ID: <9c3dcc7e-ea5b-b048-16f9-4413553a496d@gmail.com>

On 11/19/20 1:01 PM, Pierre-Antoine Champin wrote:
>
>
> On 14/11/2020 10:34, Jerven Tjalling Bolleman wrote:
>> Hi All,

[...]

>>
>> If we go for total referential opacity as a hard requirement then this is
>> not a valid consequence.
>> And we end up with a world where it is not possible that RDFstar is just a
>> surface syntax for RDF Reification.
> Correct.
>

As far as I can tell, total referential opacity can easily be obtained
defining RDF* as a surface syntax for RDF reification.  All you need to do is
to use a fresh IRI for each occurence of an embedded triple.   Other features
of this definition may not be desirable, however.

peter

Received on Thursday, 19 November 2020 18:12:47 UTC