Re: Proposal for ISSUE-40 Skolemization

On 19 May 2011, at 23:33, Pat Hayes wrote:
> Nah, that is even scarier. On reflection, maybe it is OK to say it doesnt "change the meaning". This phrase is just vague enough to be considered true, I think. BUt I dont like scare quotes if we can void them. So how about 
> 
> [[ADD: This transformation does not change the meaning of an RDF graph, provided that the Skolem URIs do not occur anywhere else.]]

That works for me. Thanks!

Richard

Received on Friday, 20 May 2011 09:52:04 UTC