W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2002

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

From: Pierre-Antoine CHAMPIN <champin@bat710.univ-lyon1.fr>
Date: 05 Apr 2002 13:25:40 +0200
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: Sandro Hawke <sandro@w3.org>, www-rdf-logic@w3.org
Message-Id: <1018005941.6983.18.camel@lisiperso3>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:42 GMT