@Override protected int compareObjectOfSameType(OWLObject object) { OWLLiteral other = (OWLLiteral) object; int diff = getLiteral().compareTo(other.getLiteral()); if (diff != 0) { return diff; } return datatype.compareTo(other.getDatatype()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLDatatypeRestriction other = (OWLDatatypeRestriction) object; int diff = datatype.compareTo(other.getDatatype()); if (diff != 0) { return diff; } return compareSets(facetRestrictions, other.getFacetRestrictions()); }