addAxiom(getOWLDataFactory().getOWLSubAnnotationPropertyOfAxiom(ch,annotation));
}
public void removeSuperProperty(IProperty p) {
if(!p.isAnnotationProperty())
throw new IOntologyError("Can't remove non-annotation superproperty");
OWLAnnotationProperty ch = (OWLAnnotationProperty) convertOntologyObject(p);
removeAxiom(getOWLDataFactory().getOWLSubAnnotationPropertyOfAxiom(annotation,ch));
}