- From: Pat Hayes <phayes@ihmc.us>
- Date: Thu, 25 Feb 2010 16:03:54 -0600
- To: Story Henry <henry.story@bblfish.net>
- Cc: Semantic Web <semantic-web@w3.org>
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 UTC