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

Re: A datatype entailment - this should be a testcase?

From: Patrick Stickler <patrick.stickler@nokia.com>
Date: Mon, 4 Nov 2002 09:48:49 +0200
Message-ID: <006101c283d6$9ceef060$399316ac@NOE.Nokia.com>
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 EST

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