Semantics of graph terms - TF meeting?

Hi all,

in the WG meeting on 26.10.2023 Peter presented some slides concerning problems with graph terms [0]. Below I copied the one that I assume is the one central to the problems Peter sees. It seems that Pierre-Antoine and Dörthe share Peter's concerns. However, I completely fail to understand the problem. And since this problem, that I don’t understand, seems to be the reason why graph terms are getting of the table again, I’d really like to understand. Maybe someone wants to try to explain by mail, but the chances that I’ll understand quickly are not too good. I’d be very open to a Semantics TF telco this Friday if there is interest. Maybe the logicians are not as thoroughly of the same opinion as it seems to me and would like to discuss the issue? That would of course make a TF meeting much more interesting and I would just listen.

Best,
Thomas

[0] https://lists.w3.org/Archives/Public/public-rdf-star-wg/2023Oct/0108.html


///


What is the meaning of quoted graphs (or named graphs, or blank graphs)?

>
{ :Linköping a :City ; 
             :in :Sweden . } :source :nyt .
Q/E?
{ :Linköping a :City . } :source :nyt . 

>
{ :cat :is :alive , :dead . } :logicalStatus :inconsistent .
Q/E?
{ :cat :is :alive . } :logicalStatus :inconsistent .

>
{ :Linköping a :City . } :saidBy :john .
{ :Linköping :in :Sweden . } :saidBy :john .
Q/E? 
{ :Linköping a :City ; :in :Sweden . } :saidBy :john .

>
:geography :truths { :Linköping a :City .
                     :City rdfs:subclassOf :Location . }
Q/E?
:geography :truths { :Linköping a :Location . }

Received on Monday, 27 November 2023 23:08:15 UTC