- From: Patrick Stickler <patrick.stickler@nokia.com>
- Date: Mon, 4 Nov 2002 09:48:49 +0200
- To: "ext Jeremy Carroll" <jjc@hpl.hp.com>, <w3c-rdfcore-wg@w3.org>
Yes, I agree that the entailment holds. No, I don't think it is very useful as a test case. Patrick [Patrick Stickler, Nokia/Finland, (+358 40) 801 9690, patrick.stickler@nokia.com] ----- Original Message ----- From: "ext Jeremy Carroll" <jjc@hpl.hp.com> To: <w3c-rdfcore-wg@w3.org> Sent: 03 November, 2002 17:55 Subject: A datatype entailment - this should be a testcase? > > > # eg:foo rdfs:range xsd:boolean . > # range not needed for entailment. > <a:a> eg:foo "true"^^xsd:boolean . > <a:a> eg:foo "false"^^xsd:boolean . > <a:uri> rdf:type xsd:boolean . > > entails > > <a:a> eg:foo <a:uri> . > > > Description: > > We don't know which value <a:uri> has, but since it belongs to a finite > class, and both members of that class are in the eg:foo relationship to > <a:a>, then <a:uri> must be. > > > Jeremy > >
Received on Monday, 4 November 2002 02:48:56 UTC