@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { write(axiom.getFirstProperty()); writeSpace(); write(EQUIV); writeSpace(); write(axiom.getSecondProperty()); write("\\ensuremath{^-}"); }
@Override public void visit(OWLInverseObjectPropertiesAxiom axiom) { axiom.getFirstProperty().accept(this); OWLObjectPropertyExpression propA = (OWLObjectPropertyExpression) obj; axiom.getSecondProperty().accept(this); OWLObjectPropertyExpression propB = (OWLObjectPropertyExpression) obj; obj = dataFactory.getOWLInverseObjectPropertiesAxiom( propA, propB, duplicateAxiomAnnotations(axiom)); }
public void visit(OWLInverseObjectPropertiesAxiom axiom) { axiom.getFirstProperty().accept(this); axiom.getSecondProperty().accept(this); processAxiomAnnotations(axiom); }