W3C home > Mailing lists > Public > public-rdf-comments@w3.org > June 2013

Re: [RDF-CONCEPTS] Skolemization

From: Sven R.Kunze <sven.kunze@informatik.tu-chemnitz.de>
Date: Wed, 12 Jun 2013 18:24:06 +0000
To: Pat Hayes <phayes@ihmc.us>, David Booth <david@dbooth.org>
CC: Ivan Herman <ivan@w3.org>, public-rdf-comments <public-rdf-comments@w3.org>
Message-ID: <E1Umpis-0006sA-1O@maggie.w3.org>
>You are really going to confuse people if you say things like that. 
>Skolemizing
> 
>   _:b :foo :bar .
> 
> into
> 

>    skolem:b :foo :bar .
> 
> (where skolem:b is a skolem URI) is *completely* different from changing 
it into
> 
>    :bar :foo :bar .
> 
> The former "does not effectively alter what can be validly derived from 
the graph", whereas the latter obviously does.


I don’t see it. Why does the latter obviously affectively alter entailment?
Received on Wednesday, 12 June 2013 18:24:43 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:29:57 UTC