- From: James Anderson <anderson.james.1955@gmail.com>
- Date: Thu, 21 Jan 2021 17:18:11 +0100
- To: public-rdf-star@w3.org
> On 2021-01-21, at 15:35:45, Olaf Hartig <olaf.hartig@liu.se> wrote: > > Hi Thomas, > > You are raising an interesting point that I was also thinking about recently, > and I believe I have a solution. > ... > > Given this understanding, you may indicate the cases in which you want to use > referential transparency on top of a referential opacity semantics by using > specific properties that you introduce for this purpose. For instance, you may > introduce a property denoted by the URI ex:statedBy and define that > referential transparency can be used for nested triples that have this > property in their predicate position. This way, related to your example, if > you have a nested triple > > <<:cars :are :bad>> ex:statedBy :Alice > > you can derive the following triple. > > <<:automobiles :are :bad>> ex:statedBy :Alice > > So, while the semantics of RDF* adopts referential opacity, you can build on > it and define cases in which you want to have referential transparency. please give, as an example, a sparql query which would accomplish this based on the semantics in the current https://pr-preview.s3.amazonaws.com/w3c/rdf-star/pull/81.html
Received on Thursday, 21 January 2021 16:18:26 UTC