- 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>
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