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: Mon, 23 Sep 2002 17:55:38 -0400
Message-ID: <00de01c2634b$f525fe00$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:
> 
> As far as OWL is concerned, 
> 
> foo rdfs:range bar .
> 
> should follow from
> 
> foo rdfs:range baz . 
> baz rdfs:subClassOf bar .
> 
> This would fit in with the general OWL stance on these sorts of things.
> 

I'm a bit confused.

suppose

foo rdfs:range ex:OddInteger .
ex:OddInteger rdfs:subClassOf ex:Integer .

why would we want

foo rdfs:range ex:Integer .

to follow? Don't I want to restrict the range to odd integers?

Jonathan
Received on Monday, 23 September 2002 18:13:26 GMT

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