- 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
> # 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 UTC