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

Re: datatype test case (value spaces, rdfs:subClassOf)

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Fri, 22 Nov 2002 18:18:12 +0000
Message-Id: <5.1.0.14.0.20021122181506.00b16360@0-mail-1.hpl.hp.com>
To: Dan Connolly <connolly@w3.org>
Cc: RDF Core <w3c-rdfcore-wg@w3.org> 

At 11:33 22/11/2002 -0600, Dan Connolly wrote:
>On Fri, 2002-11-22 at 10:48, Brian McBride wrote:
> >
> > Does the empty graph datatype(xsd:integer, xsd:decimal) entail
> >
> > xsd:integer rdfs:subClassOf xsd:decimal .
>
>yes.

Thanks Dan.
[proof omitted]

Interestingly the argument does not rest on any features of datatype 
entailment.  This is an rdfs entailment, right?  It rests on the iff 
semantics of the subclass relationship.

Brian
Received on Friday, 22 November 2002 13:16:57 EST

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