W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

Re: possible semantic bugs concerning domain and range

From: Jonathan Borden <jonathan@openhealth.org>
Date: Wed, 25 Sep 2002 17:24:47 -0400
Message-ID: <029c01c264d9$fbe9a770$7c674544@ne.mediaone.net>
To: <phayes@ai.uwf.edu>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <www-webont-wg@w3.org>

Peter F. Patel-Schneider wrote:

> Suppose that you have the following:
>    foo rdfs:subPropertyOf bar .
>    foo rdfs:range xsd:[integer union string] .
>    bar rdfs:range xsd:[string union integer] .
>    john foo 10 .
> how is 10 to be interpreted?

I'm a bit confused, perhaps you can write that out in legal N-triples?

I assume you mean:

foo rdfs:range _:x .
_:x unionOf (xsd:integer, xsd:string) .


john foo "10" .

as opposed to either

john foo xsd:integer"10" .
john foo xsd:string"10" .

this according to the latest changes to the still unfinished RDFCore
datatyping work.

ok so it the issue of how to interpret the literal "10"? doesn't this depend
on whether RDFCore decides that the _default_ type of an untyped literal is
xsd:string? Or if not then the interpretation of "10" includes
{xsd:integer"10", xsd:string"10"}?


Received on Wednesday, 25 September 2002 17:42:41 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:47 UTC