ISSUE-68 (nonmonotonic mapping): REPORTED: mapping rules are non-monotonic

ISSUE-68 (nonmonotonic mapping): REPORTED: mapping rules are non-monotonic

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Jeremy Carroll
On product: 

The mapping rules have nonmonotonic behaviour.

Non-monotonocity generally has poor semantic behaviour, and this is likely to make the task of constructing an OWL Full semantics significantly harder.

Moveover, the sort of non-monotonicity described e.g.

DOMAIN[op] expands to rdfs:domain if OnlyOP(op) = true, and to owl11:objectPropertyDomain otherwise;

is likely to weaken the semantics as the information is increased, which is the incorrect direction.