Re: datatype test case (value spaces, rdfs:subClassOf) from Brian McBride on 2002-11-22 (w3c-rdfcore-wg@w3.org from November 2002)

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

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 UTC