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

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