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

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 UTC