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