W3C home > Mailing lists > Public > semantic-web@w3.org > February 2010

Re: question on rdf semantics

From: Pat Hayes <phayes@ihmc.us>
Date: Thu, 25 Feb 2010 16:03:54 -0600
Cc: Semantic Web <semantic-web@w3.org>
Message-Id: <6E9BF403-4606-446B-98BB-1B0870667A9E@ihmc.us>
To: Story Henry <henry.story@bblfish.net>

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
Received on Thursday, 25 February 2010 22:04:55 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:34 GMT