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

question on rdf semantics

From: Story Henry <henry.story@bblfish.net>
Date: Thu, 25 Feb 2010 22:03:42 +0100
Message-Id: <8A15DC12-71E8-4A0A-8169-D34A85F562D3@bblfish.net>
To: Semantic Web <semantic-web@w3.org>
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?

Henry


Social Web Architect
http://bblfish.net/
Received on Thursday, 25 February 2010 21:04:21 GMT

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