}
@Override
protected int compareObjectOfSameType(OWLObject object) {
OWLSubPropertyChainOfAxiom other = (OWLSubPropertyChainOfAxiom) object;
for (int i = 0; i < propertyChain.size() && i < other.getPropertyChain().size(); i++) {
int diff = propertyChain.get(i).compareTo(other.getPropertyChain().get(i));
if (diff != 0) {
return diff;
}
i++;
}
int diff = propertyChain.size() - other.getPropertyChain().size();
if (diff != 0) {
return diff;
}
return superProperty.compareTo(other.getSuperProperty());
}