@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
for (Iterator<OWLDataPropertyExpression> it = axiom.getProperties().iterator();
it.hasNext(); ) {
it.next().accept(this);
if (it.hasNext()) {
writeSpace();
write(NOT_EQUIV);
writeSpace();
}
}
}
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
Set<OWLDataPropertyExpression> props = duplicateSet(axiom.getProperties());
obj = dataFactory.getOWLEquivalentDataPropertiesAxiom(props, duplicateAxiomAnnotations(axiom));
}
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
for (OWLDataPropertyExpression prop : axiom.getProperties()) {
prop.accept(this);
}
processAxiomAnnotations(axiom);
}