...
I propose that we add a hygiene rule that checks to see if a subproperty differs only from the superproperty by having only a more restricted domain and range. This may throw up too many false positives, since there is not that much one can say about the meaning of a property in OWL. Sophisticated NLP would help, if the definitions were well written, but that is a bit ambitious. Even with the false positives, it might be useful to find them all and go through them and decide. It would even be possible (thoguh probabaly a bit overkill) to have an annotation that explicitly overrides the convention, then the hygine code can ignore that the next time around.
...