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

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

From: Dan Connolly <connolly@w3.org>
Date: 22 Nov 2002 12:31:36 -0600
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: RDF Core <w3c-rdfcore-wg@w3.org>
Message-Id: <1037989897.28796.125.camel@dirk>

On Fri, 2002-11-22 at 12:18, Brian McBride wrote:
> 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?

No; if you're talking about rdfs entailment rather than
datatype(xsd:integer, xsd:decimal) entailment, you don't
get step 2.


>  It rests on the iff 
> semantics of the subclass relationship.

along with step 2, i.e. knowledge about the class
extensions of the things denoted by xsd:integer
and xsd:decimal.

> 
> Brian
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 22 November 2002 13:31:40 EST

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