Re: Trust, Context, Justification and Quintuples

> 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