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

Re: Question about "cohabitation" of S idioms A and B

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Thu, 10 Jan 2002 19:42:35 +0000
Message-Id: <5.1.0.14.0.20020110193653.0212bb18@0-mail-1.hpl.hp.com>
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 EST

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