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