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

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