return false;
}
final protected int compareObjectOfSameType(OWLObject object) {
OWLHasValueRestriction other = (OWLHasValueRestriction) object;
int diff = getProperty().compareTo(other.getProperty());
if(diff != 0) {
return diff;
}
return value.compareTo(other.getValue());
}