Re: regrets & skolem predicates

On Wed, 2011-04-20 at 23:40 -0400, Sandro Hawke wrote:
> On Wed, 2011-04-20 at 22:32 +0100, Nathan wrote:
> > Hi Pat,
> > 
> > Pat Hayes wrote:
> > > a simple literal scheme for skolemization, along the lines "<text-of-bnode-id-label>"^^yourBaseUri:genid
> > 
> > I've noticed you mention this a couple of times now (iirc), and have to 
> > say that my gut instinct says "Pat's got something here". Care to share 
> > any more details or ways it could work?
> > 
> > What I'm reading here initially is that "_:b1" in syntax could be sugar 
> > for a typed literal of the form "b1"^^rdf:BlankNode. Which seems a 
> > rather nice little solution, however you have ^^yourBaseUri:genid, which 
> > I can see has the URI in there and some obvious benefits from that, but 
> > at this point things go gray and fuzzy for me!
> > 
> > Care to expand a little?
> 
> One reason it can't work is that bnodes have to be usable as subjects
> and literals are not.

(Ooops, sorry, stupid comment given Pat's original message.  I should
know better than to reply before reading the whole thread.)

     - s

>      -- Sandro
> 
> > Best,
> > 
> > Nathan
> > 
> > 
> 
> 
> 
> 

Received on Thursday, 21 April 2011 03:45:31 UTC