- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Thu, 2 May 2024 11:23:41 -0400
- To: Franconi Enrico <franconi@inf.unibz.it>
- Cc: "public-rdf-star-wg@w3.org" <public-rdf-star-wg@w3.org>
Good. My other suggestion of functional was not correct. Injective (or one-to-one) is the term to use. peter On 5/2/24 11:18, Franconi Enrico wrote: > > >> On 2 May 2024, at 16:55, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote: >> >> That still doesn't make sense. Bijective implies onto. If all you want is one-to-one then that is injective or functional. > > OK, you are right, it is a one-to-one function (namely injective), and not bijective. I confused one-to-ne with bijective. I have fixed that. > >> Yes, any IRI can denote the integer 2, but having :Liz :spouse :Dick denote then integer 2 seems weird. > > I don’t see why it is weirder than :Liz and <<(:Liz :spouse :Dick)>> denoting the same thing (which is possible), not necessarily the integer 2. > RDF is plenty of spurious models like those; what matters is that they appear systematically for any graph, therefore they become irrelevant. > > —e. > >> >> peter >> >> >> On 5/2/24 10:52, Franconi Enrico wrote: >>>> On 2 May 2024, at 16:39, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote: >>>> >>>> Bijective means one-to-one and onto, so the transparent profile appears to be saying that every resource is a denotation of some triple term. I think that the mapping should only be injective. It might be better to state that RE is a function instead. The opaque profile has a similar problem. >>> You are right, I have to be more precise: RE is *bijective* covering only the whole IR x IP x IR (i.e., one-to-one and onto only over IR x IP x IR). Similarly for SRE. >>>> As well, this semantics allows for the SRE of a quoted triple to be something like the integer 2. This probably has no bad consequences, but it is rather strange. >>> Also any IRI may have the same interpretation as the interpretation of the literal integer 2, since they are both resources. So, there is no difference here. >>> —e. >>>> peter >>>> >>>> >>>> On 5/2/24 03:05, Franconi Enrico wrote: >>>>> >>>>> (I repeat a previous email, which could have been lost within a previous thread) >>>>> In order to make the upcoming discussion more concrete and technical, I have written down the formal definition of two profiles in the wiki: >>>>> * RDF-star profile “transparent” >>>>> <https://github.com/w3c/rdf-star-wg/wiki/RDF-star-profile-%22transparent%22> (namely many-to-many transparent) >>>>> * RDF-star profile "functional opaque” >>>>> <https://github.com/w3c/rdf-star-wg/wiki/RDF-star-profile-%22functional-opaque%22> (namely many-to-one opaque) >>>>> They rely on two distinct properties - rdf:reifies and rdf:edge (temporary name) - and on two distinct syntactic categories - tripleTerm and opaqueTripleTerm. >>>>> Technically, they could be just merged into a unique profile, which actually could be RDF-star itself. >>>>> —e. >>>> >
Received on Thursday, 2 May 2024 15:23:46 UTC