Comment on Last Call Working Draft of RDF Semantics document concerning typed literals

I believe that there are errors in the treatment of typed literals in
the RDF model theory.  For example, let I be an interpretation where
rdf:XMLLiteral and ex:bar both denote the domain element.  However,
the typed literal "xx"^^ex:bar does not necessarily denote the same
thing as "xx"^^rdf:XMLLiteral because the rule for rdf:XMLLiteral uses
the URI reference directly, and not its denotation.

Received on Friday, 24 January 2003 17:17:41 UTC