Re: Two profiles: technical definition

That still doesn't make sense.  Bijective implies onto.   If all you want is 
one-to-one then that is injective or functional.

Yes, any IRI can denote the integer 2, but having :Liz :spouse :Dick denote 
then integer 2 seems weird.

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 14:55:56 UTC