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

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

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Mon, 4 Nov 2002 09:34:20 +0100
To: jjc@hpl.hp.com
Cc: w3c-rdfcore-wg@w3.org, w3c-rdfcore-wg-request@w3.org
Message-ID: <OF3584ADE6.226FA6FE-ONC1256C67.002EB8AB-C1256C67.002F1EF8@agfa.be>


> # eg:foo rdfs:range xsd:boolean .
> # range not needed for entailment.
> <a:a> eg:foo "true"^^xsd:boolean .

at first I thought that <a:a> was wrong syntax
but it is right as a could be a URI scheme

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

I see, it indeed holds (although we can't prove yet mechanically)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Monday, 4 November 2002 03:34:59 EST

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