Re: [RDF-CONCEPTS] Skolemization

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