The current statements are to strong, as they exclude the existence of further units. They assume OM is 100% complete and that makes reuse more difficult, as one cannot add a unit without changing OM statements (#66).
These strong statements cause higher reasoning complexity (#79).
The required changes could probably be done with a few SPARQL UPDATE queries, given OM would uses a common serialization style (#80).
Currently, (almost) all subclasses of unit are equivalent to a union of some prefixed unit classes and a oneOf class.
Example:
I propose to replace these definitions with rdf:type and rdfs:subClass statements.
Example:
and (in Turtle for the sake of simplicity)
Reasons:
The required changes could probably be done with a few SPARQL UPDATE queries, given OM would uses a common serialization style (#80).