- From: Steve Harris <steve.harris@garlik.com>
- Date: Sat, 26 Mar 2011 23:26:46 +0000
- To: nathan@webr3.org
- Cc: Pat Hayes <phayes@ihmc.us>, Sandro Hawke <sandro@w3.org>, semantic-web@w3.org
On 2011-03-26, at 21:52, Nathan wrote: > Pat Hayes wrote: >> On Mar 26, 2011, at 11:06 AM, Nathan wrote: >>> Sandro Hawke wrote: >>>> Skolemization. >>> Sorry, but can somebody clarify why we, or RDF, needs Skolemization? Is this to cover a data management problem particular to a certain way of storing RDF data? >> It means that RDF need not have blank nodes , which (it is suggested) makes it simpler and easier to process in many ways. > > If RDF doesn't have blank nodes, then what is being skolemized? (pre no-blank-node-rdf?) If there were no existential variables you could just say that the bNode syntax produces a unique identifier that's disjoint with Literals and URIs. That's equivalent to skolemising an existential variable for each bNode. - Steve -- Steve Harris, CTO, Garlik Limited 1-3 Halford Road, Richmond, TW10 6AW, UK +44 20 8439 8203 http://www.garlik.com/ Registered in England and Wales 535 7233 VAT # 849 0517 11 Registered office: Thames House, Portsmouth Road, Esher, Surrey, KT10 9AD
Received on Saturday, 26 March 2011 23:27:25 UTC