@Override protected int compareObjectOfSameType(OWLObject object) { return property .compareTo(((OWLObjectPropertyCharacteristicAxiom) object) .getProperty()); } }
@Override final protected int compareObjectOfSameType(OWLObject object) { return property.compareTo(((OWLObjectPropertyCharacteristicAxiom) object).getProperty()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { return inverseProperty.compareTo(((OWLObjectInverseOf) object).getInverse()); }
final protected int compareObjectOfSameType(OWLObject object) { return property.compareTo(((OWLObjectPropertyCharacteristicAxiom) object).getProperty()); } }
protected int compareObjectOfSameType(OWLObject object) { return inverseProperty.compareTo(((OWLObjectInverseOf) object).getInverse()); }
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()); } }
@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; } } int diff = propertyChain.size() - other.getPropertyChain().size(); if (diff != 0) { return diff; } return superProperty.compareTo(other.getSuperProperty()); } }
@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()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { return getProperty().compareTo( ((OWLObjectHasSelf) object).getProperty()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { return getProperty().compareTo(((OWLObjectHasSelf) object).getProperty()); } }
protected int compareObjectOfSameType(OWLObject object) { return getProperty().compareTo(((OWLObjectHasSelf) object).getProperty()); } }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLObjectHasValue other = (OWLObjectHasValue) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return value.compareTo(other.getFiller()); }
@Override protected int compareObjectOfSameType(OWLObject object) { @SuppressWarnings("unchecked") OWLQuantifiedRestriction<OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression> other = (OWLQuantifiedRestriction<OWLClassExpression, OWLObjectPropertyExpression, OWLClassExpression>) object; int diff = getProperty().compareTo(other.getProperty()); if(diff != 0) { return diff; } return getFiller().compareTo(other.getFiller()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLQuantifiedObjectRestriction other = (OWLQuantifiedObjectRestriction) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return getFiller().compareTo(other.getFiller()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLObjectCardinalityRestriction other = (OWLObjectCardinalityRestriction) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } diff = getCardinality() - other.getCardinality(); if (diff != 0) { return diff; } return getFiller().compareTo(other.getFiller()); } }