@Override protected int compareObjectOfSameType(OWLObject object) { OWLLiteral other = (OWLLiteral) object; int diff = literal.compareTo(other.getLiteral()); if (diff != 0) { return diff; } diff = datatype.compareTo(other.getDatatype()); if (diff != 0) { return diff; } return lang.compareTo(other.getLang()); }