- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Thu, 10 Jan 2002 19:42:35 +0000
- To: Patrick Stickler <patrick.stickler@nokia.com>, RDF Core <w3c-rdfcore-wg@w3.org>
At 18:50 10/01/2002 +0200, Patrick Stickler wrote:
[...]
>But taking the first range statement into account along with
>the statements about Jenny, we also now have the implication
>
> _:1 rdf:type xsd:integer.lex .
The first range statement being:
ex:age rdfs:range xsd:integer.lex .
which is inconsistent with:
Jenny ex:age _:1 .
_:1 xsd:integer.map "22" .
as the latter entails:
_:1 rdfs:type xsd:integer.val
and the intersection of xsd:integer.lex and xsd:integer.val is empty.
GIGO.
Brian
Received on Thursday, 10 January 2002 14:43:49 UTC