- From: Jonathan Borden <jborden@mediaone.net>
- Date: Tue, 29 Jan 2002 11:13:50 -0500
- To: "RDF Interest" <www-rdf-interest@w3.org>, "Patrick Stickler" <patrick.stickler@nokia.com>
- Cc: "RDF Comments" <www-rdf-comments@w3.org>, "Dan Connolly" <connolly@w3.org>
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
Received on Tuesday, 29 January 2002 11:15:33 UTC