Re: union (Re: Review RDF 1.1 Semantics (ED 3rd June 2013)) with an addition

Another way of looking at this issue is as follows.

Take an RDF graph G, and then divide the triples in it into two subgraphs, G1 and G2.   The meaning of G is can be stronger than combining the separate meanings of G1 and G2.  This was true in 2004 and remains true now.

The simplest example of this (which is also in Pat's response) is:

Let b be a blank node, 
let G be the graph with two triples ex:John ex:child b and ex:Mary ex:child b
let G1 be the graph with one triple ex:John ex:child b
let G2 be the graph with one triple ex:Mary ex:child b

In the separate meanings of  G1 and G2  John and Mary need not have the same child, so combining these separate meanings doesn't get you back to the meaning of G.

peter


On Jun 15, 2013, at 11:20 AM, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote:

> Here is my response on unions.  I have deliberately not included the previous discussion in this response.
> 
> 
> In 2004 it was assumed that having two RDF graphs sharing a blank node was a mistake.   One way to go would have been to say that it was an error to combine RDF graphs that shared blank nodes.  However, the notion of a merge was defined, I think mostly so that there was something to say about what to do in surface syntaxes.
> 
> It is already the case that RDF graphs share blank nodes, and the new version of RDF allows for this fact of life.  
> 
> Now what to do when combining two RDF graphs that share blank nodes?  Well, what should happen?  It seems ludicrous to say that if you take part of an RDF graph and then combine it back with the graph itself that you get something different from the original graph, so merge doesn't seem to be a viable option.  So we are left with simple union.
> 
> So combining two RDF graphs that share blank nodes is no longer logically equivalent to conjunction.  So what?
> 
> So nothing!  If the two RDF graphs don't have some inherent connection then they really can't share blank nodes, so combination is conjunction.  If they do share blank nodes then they have some inherent connection and it should not be much of a surprise that their combination might not be conjunction.
> 
> peter
> 
> PS:  It should be possible to come up with a more-complex semantics that captures some stronger intuition about blank nodes, but there is then the distinct possibility of ruling out some existing or potential use of blank nodes.  Of course the way around this is to expand the expressive power of RDF (to, for example, include explicit existential quantification), but I'm pretty sure that no one wants to go there at this time.

Received on Saturday, 15 June 2013 18:30:46 UTC