Java 类org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom 实例源码

/**
 * Transitive(R) ==> Transitive(R')
 * 
 * @param ax
 */
private void tr(OWLObjectPropertyCharacteristicAxiom ax) {
    if (ax instanceof OWLTransitiveObjectPropertyAxiom) {
        OWLObjectPropertyExpression pt = trTypeLevel(ax.getProperty());
        if (pt instanceof OWLObjectProperty) {
            add(getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(pt));
        }
    }
    add(ax); // pass-through
}

@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    if (!(obj instanceof OWLObjectPropertyCharacteristicAxiom)) {
        return false;
    }
    return ((OWLObjectPropertyCharacteristicAxiom) obj).getProperty()
            .equals(property);
}

@Override
protected int compareObjectOfSameType(OWLObject object) {
    return property
            .compareTo(((OWLObjectPropertyCharacteristicAxiom) object)
                    .getProperty());
}