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

A datatype entailment - this should be a testcase?

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Sun, 3 Nov 2002 16:55:25 +0100
To: <w3c-rdfcore-wg@w3.org>
Message-ID: <MABBLGKMPIJFCKFGDBEPOEEFCBAA.jjc@hpl.hp.com>


# 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 Sunday, 3 November 2002 10:51:03 EST

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