Re: regrets & skolem predicates

On Apr 20, 2011, at 10:40 PM, 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.

I said, *if* literals could be subjects...

Pat

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

------------------------------------------------------------
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 Thursday, 21 April 2011 03:44:27 UTC