XML Schema formal mapping of QNames to URIs

The XML Schema formalism defines a normalization procedure that assigns a
URI to each schema particle
http://www.w3.org/TR/xmlschema-formal/#section-overview-normalization . As
this document is so central to a detailed understanding of XML Schema
datatypes, a meaningful attempt to provide XML Schema datatype compatibilty
should understand the issues raised.

I would expect that a model theory of RDF datatypes be cognizant of the
schema formalism particularly if the RDF MT intends to assist with
rdf:parseType="Literal" and XML content.

To clarify this issue with a short example:

{
_:x rdf:type xsd:integer
_:x rdf:value "010"

_:y rdf:type xsd:integer
_:y rdf:value "10"

} log:implies

_:x = _:y

This ought be a trivial deduction.

As Dan Connolly has pointed out, this problem has been solved over and over
and over by essentially every programming language, PERL being an excellent
example. C++ using operator overloading and/or constructors for the same
purpose.

Dealing with builtin types is rather basic.

Dealing with XML complex types is rather more interesting.

XQuery 1.0 deals with _both_ and I suggest than an RDF DT model theory
really ought incorporate this work (e.g. the formalism). Why reinvent the
wheel?

Otherwise, shrug, just do it the way PERL does and get on with it.

Jonathan