Re: Why skolemization?

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