return property;
}
@Override
protected int compareObjectOfSameType(OWLObject object) {
OWLQuantifiedDataRestriction other = (OWLQuantifiedDataRestriction) object;
OWLDataPropertyExpression p1 = getProperty();
OWLDataPropertyExpression p2 = other.getProperty();
int diff = p1.compareTo(p2);
if (diff != 0) {
return diff;
}
return getFiller().compareTo(other.getFiller());
}