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 :-))

Received on Saturday, 28 September 2002 11:50:23 UTC

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