- From: Sandro Hawke <sandro@w3.org>
- Date: Fri, 19 Dec 2003 16:47:38 -0500
- To: Jeremy Carroll <jjc@hpl.hp.com>
- Cc: www-rdf-interest@w3.org
> The classic example is "I saw Superman fly" and "I saw Clark Kent
> fly" are two different sentences even if we know that Superman =
> Clark Kent. RDF Semantics does not allow you to capture this using
> reification.
Not naively, but if you "de-lable" the sentence, it does, making the
act of naming occur explicitely:
"I saw something fly. That something is called 'Superman'."
and
"I saw something fly. That something is called 'Clark Kent'."
You do need a naming predicate like log:uri for this, expressing the
notion of "is called". It's one way to get referential opacity in a
referentially transparent logic like RDF. (I have no idea yet if
it's the best approach here.)
-- sandro
Received on Friday, 19 December 2003 16:49:02 UTC