Re: Consolidating triple/edges -- named occurrence version

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.