protected int compareObjectOfSameType(OWLObject object) {
   OWLAnnotationPropertyDomainAxiom other = (OWLAnnotationPropertyDomainAxiom) object;
   int diff = property.compareTo(other.getProperty());
   if (diff != 0) {
     return diff;
   }
   return domain.compareTo(other.getDomain());
 }
 @Override
 protected int compareObjectOfSameType(OWLObject object) {
   OWLAnnotationPropertyRangeAxiom other = (OWLAnnotationPropertyRangeAxiom) object;
   int diff = property.compareTo(other.getProperty());
   if (diff != 0) {
     return diff;
   }
   return range.compareTo(other.getRange());
 }