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

Re: Disjuction of subPropertyOf chain? was Re: possible semantic bugs concerning domain and range

From: Jonathan Borden <jonathan@openhealth.org>
Date: Sat, 28 Sep 2002 11:32:25 -0400
Message-ID: <049c01c26704$3fd578c0$7c674544@ne.mediaone.net>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, "pat hayes" <phayes@ai.uwf.edu>
Cc: <www-webont-wg@w3.org>

I wrote:
>
> In the presence of an rdfs:subPropertyOf chain, the interpretation of the
> literal would, I presume, be the disjunction of the conjunctions of the
> datatypes indicated by each of the ranges for each rdfs:subPropertyOf i.e.
>
> foo rdfs:range (Range(foo) union Range(bar)) ...
>
> foo rdfs:range _:x
> _:x owl:unionOf (xsd:[integer union string], xsd:[string union integer])
>
No, that can't be correct... it would have to be something like:

john foo "10" .
=>

john foo _:x

_:x rdf:type xsd:[integer union string]
_:x rdf:type xsd:[string union integer]

(or rewrite that to conform to the RDF datatypes version de jure , but
hopefully you know what I mean :-))

Jonathan
Received on Saturday, 28 September 2002 11:50:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:52 GMT