A question about referential opacity (again)

Hi,


Enrico was kind enough to guide me through the work of the Semantics TF in a one-on-one TelCo a week ago. However, when I now look at my notes, I’m again confused. 

If I understood Enrico correctly then a referentially opaque IRI doesn’t refer to anything. However, it was my understanding of the CG report semantics that IRIs in quoted triples are interpreted, but strictly following the syntactic form. My reading of the unstar-mapping supports that intuition [1].
To give an example, I understood referential opacity as meaning that "dbr:Linköping" and "DBR:LINKÖPING" both refer to the city of Linköping, and yet are not equal (and can not infered to be equal) because their lexical representation differs. 
But according to how I understood Enrico they don’t refer to anything. 

Was I wrong all along? Am I just not getting it and does there exist a world in which both interpretations are true? Or has the TF diverged from the CG? Or is there no consensus in the TF?


Best,
Thomas




[0] https://github.com/w3c/rdf-star-wg/wiki/Semantics%3A-Behaviour-catalogue
[1] https://w3c.github.io/rdf-star/cg-spec/2021-12-17.html#mapping

Received on Saturday, 21 October 2023 11:00:51 UTC