}
}
public void removeSuperProperty(IProperty p) {
if(p.getPropertyType() != getPropertyType())
throw new IOntologyError("Can't add super property of different type");
if(isDatatypeProperty()){
OWLDataProperty ch = (OWLDataProperty) convertOntologyObject(p);
removeAxiom(getOWLDataFactory().getOWLSubDataPropertyOfAxiom(asOWLDataProperty(),ch));
}else{
OWLObjectProperty ch = (OWLObjectProperty) convertOntologyObject(p);