- From: Olaf Hartig <olaf.hartig@liu.se>
- Date: Fri, 5 Jan 2024 12:50:23 +0000
- To: "franconi@inf.unibz.it" <franconi@inf.unibz.it>
- CC: "public-rdf-star-wg@w3.org" <public-rdf-star-wg@w3.org>
Hi Enrico, Ah! I see! Thanks for the clarification. Olaf On Fri, 2024-01-05 at 12:02 +0000, Franconi Enrico wrote: > Hi Olaf, > I’m referring to the semantics proposed in [1] - as previously > referred to by Andy. > Of course, it is possible to consider other semantics. > —e. > > [1] > https://github.com/w3c/rdf-star-wg/wiki/Semantics:-Andy's-proposal > > > On 5 Jan 2024, at 12:51, Olaf Hartig <olaf.hartig@liu.se> wrote: > > > > Hi Enrico, > > > > You recent emails about these "correct derivations with triple > > occurrences" are confusing me. The way these emails are written > > makes > > it sound as if there can be no other semantics of triple > > occurrences > > than a semantics that leads to the entailments that you mention. Is > > this really the case? Or should I read you emails more as a > > proposal of > > requirements to be satisfied by the semantics to be defined, where > > this > > proposal is up to discussion? > > > > Thanks, > > Olaf > > > > > > On Fri, 2024-01-05 at 09:32 +0000, Franconi Enrico wrote: > > > Important retraction! > > > The entailments involving owl:same-as in my past emails with are > > > FALSE. > > > Indeed, equality does not play any special role in triple > > > occurrences. > > > > > > The examples below show some correct derivations with triple > > > occurrences, emphasising that the same triple term may have > > > distinct > > > occurrences, and that the same referent may be the occurrence of > > > distinct triples: > > > << :wed-1 | :liz :spouse :richard >> > > > :starts 1964 ; > > > :ends 1974 . > > > << :wed-2 | :liz :spouse :richard >> > > > :starts 1975 ; > > > :ends 1976 . > > > << :wed-2 | :liz a :wife >> . > > > The above entails: > > > << :wed-1 :starts 1964 >> . > > > << [] | _:x a :wife >> > > > :starts 1975 . > > > —e. > > > > > > > On 4 Jan 2024, at 16:00, Franconi Enrico > > > > <franconi@inf.unibz.it> > > > > wrote: > > > > > > > > > For example: > > > > > > > > > > << wed-1 | :liz :spouse :richard >> . > > > > > :starts 1964; :end 1974 . > > > > > :richard owl:same-as :richard-burton > > > > > ⊨ > > > > > << :wed-1 | :liz :spouse :richard-burton >> . > > > > > > > > and the other way round as well: > > > > > > > > << wed-1 | :liz :spouse :richard >> . > > > > :starts 1964; :end 1974 . > > > > << :wed-1 | :liz :spouse :richard-burton >> . > > > > ⊨ > > > > :richard owl:same-as :richard-burton > > > > > > > > —e. > > > > > >
Received on Friday, 5 January 2024 12:50:32 UTC