Re: possible semantic bugs concerning domain and range

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