Re: Consolidating triple/edges -- named occurrence version

On 05/01/2024 09:32, 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 .|
Should that be:

    |:wed-1 :starts 1964 . << [] | _:x a :wife >> :starts 1975 .|

    ||

using the name?|


|
|

|
> —e.
>