> 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.htmlReceived on Thursday, 21 January 2021 16:18:26 UTC
This archive was generated by hypermail 2.4.0 : Thursday, 21 January 2021 16:18:27 UTC