Ensure correct annotation properties are always used

[cmungall]

It's easy in Protege to slip and use e.g. a namespace AP for a definition and vice versa.

We also need to enforce people using hasDbXref in axiom annotations for syns and defs.

I have fixed a bunch of these manually, but we need to implement checks