Updated test OWL file with annotated axioms.
Added annotate-axiom! function, refactored; functions should return axioms, not change lists.