Proposed tweaks to Annotations

I'd like to suggest two tweaks on annotations that might address some
problems with them.
1) Introduction of new properties
owl:annotationSubPropertyOf owl:annotationDomain owl:annotationRange. In OWL
DL these could be considered annotations in this version but with notice
that their behavior may be changed in subsequent versions of OWL. For OWL
Full we would make them sub properties of the corresponding non-annotation
properties.

2) No explicit declaration of any properties as Annotation by default.
Currently rdfs:label, rdfs:comment several others are so defined as
built-ins. Because of this it is not possible to do any DL reasoning with
them, such as making real sub properties of them. I think it would be better
to not commit on this and instead leave to the editors of ontologies the
choice of whether to consider them to be annotation or not.  We could leave
it to tool to, as a courtesy, add annotation property declarations to the
would-be-former built-ins in the case that a user does not supply them.

For SKOS we could advise that they choose one of these two options to handle
their extensive use of subproperty axioms on annotation properties such as
label.

-Alan