@Override
public void visit(OWLAnnotationPropertyRangeAxiom axiom) {
write("Range");
axiom.getProperty().getIRI().accept(this);
writeSpace();
axiom.getRange().accept(this);
}
@Override
protected int compareObjectOfSameType(OWLObject object) {
OWLAnnotationPropertyRangeAxiom other = (OWLAnnotationPropertyRangeAxiom) object;
int diff = property.compareTo(other.getProperty());
if (diff != 0) {
return diff;
}
return range.compareTo(other.getRange());
}
@Override
public void visit(OWLAnnotationPropertyRangeAxiom axiom) {
axiom.getProperty().accept(this);
OWLAnnotationProperty prop = (OWLAnnotationProperty) obj;
axiom.getRange().accept(this);
IRI range = (IRI) obj;
obj =
dataFactory.getOWLAnnotationPropertyRangeAxiom(
prop, range, duplicateAxiomAnnotations(axiom));
}
@Override
public boolean equals(Object obj) {
if (super.equals(obj)) {
// superclass is responsible for null, identity, owlaxiom type and
// annotations
if (!(obj instanceof OWLAnnotationPropertyRangeAxiom)) {
return false;
}
OWLAnnotationPropertyRangeAxiom other = (OWLAnnotationPropertyRangeAxiom) obj;
return property.equals(other.getProperty()) && range.equals(other.getRange());
}
return false;
}
@Override
public void visit(OWLAnnotationPropertyRangeAxiom axiom) {
handleObject(axiom);
axiom.getProperty().accept(this);
axiom.getRange().accept(this);
}
public void visit(OWLAnnotationPropertyRangeAxiom axiom) {
axiom.getProperty().accept(this);
processAxiomAnnotations(axiom);
}