Re: question on rdf semantics

On Feb 25, 2010, at 3:03 PM, Story Henry wrote:

> I am reading the RDF Semantics document carefully, and am having a  
> little trouble with the following passage http://www.w3.org/TR/rdf-mt/#instlemprf
>
> [[
> To be precise, a Skolemization of E (with respect to V) is a ground  
> instance of E with respect to V with a 1:1 instance mapping that  
> maps each blank node in G to a URI reference that does not appear in  
> G (so the Skolem vocabulary V must be disjoint from the vocabulary  
> of E)
> ]]
>
> It does not seem to be explained what the relation between E and G  
> is in the above passage.
> To me it would make sense if E=G, ie:
>
> [[
> To be precise, a Skolemization of E (with respect to V) is a ground  
> instance of E with respect to V with a 1:1 instance mapping that  
> maps each blank node in E to a URI reference that does not appear in  
> E (so the Skolem vocabulary V must be disjoint from the vocabulary  
> of E)
> ]]
>
> What have I misunderstood?

Nothing. You have found a typo that nobody noticed before. I must have  
read that passage dozens of times and not noticed it. I expect it  
originated from a careless cut and past edit. Apologies, and thanks.

Pat Hayes


>
> Henry
>
>
> Social Web Architect
> http://bblfish.net/
>
>
>

------------------------------------------------------------
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