Re: nonmon mapping and punning

Peter F. Patel-Schneider wrote:

> For example, making owl11:objectPropertyDomain be a subproperty of
> rdfs:domain would remove the apparent non-monotonicity in the example
> given.
> 
>
Yes but ...

the concern is what a triple based implementation would actually have to 
do - and modifying a triple in response to adding a triple would be a 
fundamental change, that is out-of-kilter with the design principles 
that we have used to date.

Jeremy