A third possibility would be "SHOULD" instead of "should" past tests - as a
sort of compromise.
It may mean that our work fits better with other recommendations etc that
assume that it is sufficiently clear what an OWL implementation is intended
to do.
Jeremy