RE: release candidate of the "rdfbased" testcollection

Ivan Herman wrote:

>- handling the datatypes may be tricky (we did have a bunch of mails
>between me and Michael the last few days). If I want to check, eg, the
>disjointness of the various datatypes (more exactly, whether some
>literals break this), whether the lexical form is kosher or not, etc, it
>is very much dependent on what the underlying environment offers. I am
>busy trying to add a minimal number of extra triples for, eg, the
>disjointness issue so that the RL rule processing would automatically
>reveal problems with the data, but this is not efficient. ie, if one
>relies on existing RDF environment, the more precise nature of datatype
>handling in OWL 2 is an extra implementation burden for RL (though
>probably well worth it for users!). I am not saying we should change
>that, but the value of the CR phase is to gather implementation
>experience so, well, that is it...

Just to clarify, here are a few concrete examples for what Ivan 
talks about:

1) "42"^^xsd:byte rdf:type xsd:decimal .

2) "42"^^xsd:byte rdf:type xsd:float .

3) "1000"^^xsd:byte rdf:type xsd:byte .

According to Table 8 in Section 4.3 of the Profiles document,
graph 1) is true (rule "dt-type2"), but graphs 2) and 3) lead 
to inconsistency, respectively (rule "dt-not-type"). 

To see this, one needs to check the XML Schema spec: 
* ad 1) The value space of xsd:decimal is a super set of xsd:byte.
* ad 2) The value spaces of xsd:byte and xsd:float are disjoint.
* ad 3) The value space of xsd:byte does not contain the value 1000.

Cheers,
Michael

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================