Re: possible semantic bugs concerning domain and range from Jonathan Borden on 2002-09-23 (www-webont-wg@w3.org from September 2002)

From: Jonathan Borden <jonathan@openhealth.org>
Date: Mon, 23 Sep 2002 17:55:38 -0400
To: <phayes@ai.uwf.edu>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: <www-webont-wg@w3.org>
Message-ID: <00de01c2634b$f525fe00$7c674544@ne.mediaone.net>

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 UTC