Re: Existentially Quantified Variables (bNodes) in RDF-like-languages

On Fri, 2002-04-05 at 06:58, Pat Hayes wrote:
> >	   When you used a URI for E-Bay, were you committing to any
> >            facts?
> 
> That the thing in question has a certain name, yes. Suppose another 
> engine, given all the facts about 
> <urn:uuid:57c259ca-47ed-11d6-8002-0050ba4812a6>, wants to use some 
> other name for it and assert those facts using that other name. Is 
> that a logical crime?

Definitely not IMO, but however, couldn't that happen with "standard"
URIs? Does the model theory states that different URIs denote different
resources? If not, what fundamental difference does it make to use
non-used-elsewhere URIs instead of existentially qualified variables?

 I guess I may be missing something...

  Pierre-Antoine

Received on Friday, 5 April 2002 06:22:58 UTC