W3C home > Mailing lists > Public > public-rdf-wg@w3.org > March 2013

Re: mergeg in current Semantics ED

From: Pat Hayes <phayes@ihmc.us>
Date: Fri, 8 Mar 2013 21:18:16 -0600
Cc: RDF WG <public-rdf-wg@w3.org>
Message-Id: <5DFC59D2-6173-4DCD-B16B-4BADD64B6449@ihmc.us>
To: Peter Patel-Schneider <pfpschneider@gmail.com>, Antoine Zimmermann <antoine.zimmermann@emse.fr>
Guys, take a look at the latest edit. I actually like the way this is coming out, it really does start to make sense of bnode scoping and merging. Most of the material is now in the early 'graph definitions' section (and maybe should eventually be in Concepts), but check also the merging lemma where I use Antoine's example.

Pat

On Mar 8, 2013, at 5:59 PM, Peter Patel-Schneider wrote:

> Oops, very true.
> 
> peter
> 
> 
> On Fri, Mar 8, 2013 at 3:33 PM, Pat Hayes <phayes@ihmc.us> wrote:
> 
> On Mar 8, 2013, at 2:53 PM, Peter Patel-Schneider wrote:
> 
> >
> >
> > On Fri, Mar 8, 2013 at 12:10 PM, Pat Hayes <phayes@ihmc.us> wrote:
> >
> > On Mar 8, 2013, at 12:52 PM, Peter Patel-Schneider wrote:
> >
> >
> > [...]
> >
> > >
> > > A different way to go would be to just have interpretations map b-nodes directly.  This would treat bnodes as skolems - the only difference between a bnode and a skolem is that a bnode *cannot* escape into the wild.
> >
> > That would be a real change to the semantics, with far-reaching consequences. It owuld effectively remove bnodes altogether (other than an a syntax for local names).
> >
> > Pat
> >
> > But what would the consequences be?  I'm having a hard time thinking of any, except when the bnode scope goes beyond a single graph.
> >
> 
> Well, basic entailments such as
> 
> :a :p :b .
> |=
> _:x :p :b .
> 
> would not hold. Or, another example,
> 
> :a :p "25"^xsd:integer .
> |=
> _:x :p "25"xsd:integer .
> _:x rdf:type xsd:integer .
> 
> Pat
> 
> 
> 
> > peter
> >
> >
> 
> ------------------------------------------------------------
> IHMC                                     (850)434 8903 or (650)494 3973
> 40 South Alcaniz St.           (850)202 4416   office
> Pensacola                            (850)202 4440   fax
> FL 32502                              (850)291 0667   mobile
> phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
> 
> 
> 
> 
> 
> 

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Saturday, 9 March 2013 03:18:49 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:25:54 GMT