datatype maps, annotations, and conforming to a profile

I'm in a discussion about whether annotation axioms and ontology
annotations are subject to the datatype restrictions that are checked for
conformance to a profile. I don't recall discussing this, but it seems like
it would not have been the intent since the datatype map is only of
relevance to the reasoner. Some parts of the spec read like they might
apply, others part ambiguous (at least to me).

*I* don't think that the values of annotations should play a role in
determining the profile, but I wonder if others who were in the WG can
speak to this.

Alan