Feature request: Add better support for ontology annotation

[dosumis]

Would it be possible to allow an ontology in subject position in an annotation axiom?

e.g.

o = manager.createOntology()
val fu = AnnotationProperty("fu")
val anax = o Annotation(fu, "bar")

[balhoff]

I think it's a good idea to add the syntax you propose. The only issue is that the OWL API treats these differently from other axioms. So the type of anax on the last line would be AddOntologyAnnotation rather than OWLAnnotationAssertionAxiom. You would then need to use

manager.applyChange(anax)

rather than manager.addAxioms(...).

What do you think? It's unfortunate that you can't collect these annotations into a set of other axioms you want to create.