W3C home > Mailing lists > Public > semantic-web@w3.org > March 2011

Re: Why skolemization?

From: Richard Cyganiak <richard@cyganiak.de>
Date: Wed, 30 Mar 2011 17:56:26 +0530
Cc: Steve Harris <steve.harris@garlik.com>, semantic-web@w3.org
Message-Id: <6AE16BDA-5156-434A-A93B-910CA62D2BD8@cyganiak.de>
To: Sandro Hawke <sandro@w3.org>
On 27 Mar 2011, at 18:17, Sandro Hawke wrote:
> If I say
>        store.load("http://example.org/g1")
>        store.load("http://example.org/g2")
> and g1 and g2 happen to return the same g-text containing bnodes, maybe:
>        _:x foaf:knows _:y
> then yeah, we'll have to Skolemize them differently.
> But if I say:
>        store.load("http://example.org/g1")
> and then repeat it:
>        store.load("http://example.org/g1")
> and it get the same g-text, I think it's appropriate for the store to
> use the same Skolem constants.

That's an implementation issue. If a store wants to do something smart to skolemize to the same constant, fine. But that's orthogonal to the discussion here.

Received on Wednesday, 30 March 2011 12:27:03 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:48:24 UTC