W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: datatype test case

From: pat hayes <phayes@ai.uwf.edu>
Date: Sat, 30 Nov 2002 21:57:11 -0600
Message-Id: <p05111b01ba0497e373b9@[10.0.100.86]>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org

>Does the empty graph datatype(xsd:integer, xsd:decimal) entail
>
>xsd:integer rdfs:subClassOf xsd:decimal .

Well, if Dan C is right about the datatype values, then yes, it does, 
since we have IFF conditions on subClassOf. That is, it XSD-entails 
it. I didn't mention things like this because I thought we were only 
supporting the XSD primitive datatypes. If we are supporting the 
entire edifice of all the built-ins, then there are lots of possible 
entailments which could be stated in RDFS, including the above.

Do you want me to try to make a table of all the valid RDFS triples 
in XSD interpretations, assuming of course that we can take the XSD 
spec at face value? I don't think it would take all that long, but I 
am slightly worried about missing something (are there any 
subproperty entailments? HOw do we express the fact that two 
different dtypes have compatible L2V mappings?? Etc.

Or, we could just pass the buck as we do now.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Saturday, 30 November 2002 23:52:55 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:11 EDT