Re: Inheriting property restrictions

ben syverson wrote:
> 
> Thanks Paul!
> 
> I guess it's as I feared -- multiple property restrictions result in  
> the intersection of the restrictions, rather than the union.

Why fear this? Can you think of a real-world counter-example (whether 
concrete or abstract)? Seems like things are being modelled perfectly 
sensibly.