Set<OWLDataPropertyExpression> props=axiom.getProperties();
Iterator<OWLDataPropertyExpression> it=props.iterator();
if (it.hasNext()) {
OWLDataProperty prop1=it.next().asOWLDataProperty();
while (it.hasNext()) {
if (!reasoner.isEquivalentDataProperty(prop1.asOWLDataProperty(),it.next().asOWLDataProperty()))
return Boolean.FALSE;
}
}
return Boolean.TRUE;
}