@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); writeSpace(); write(EQUIV); writeSpace(); axiom.getProperty().accept(this); write("\\ensuremath{^-}"); }
@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj; obj = dataFactory.getOWLSymmetricObjectPropertyAxiom(prop, duplicateAxiomAnnotations(axiom)); }
@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { handleObject(axiom); axiom.getProperty().accept(this); }
@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { constructs.add(I); axiom.getProperty().accept(this); }
public void visit(OWLSymmetricObjectPropertyAxiom axiom) { type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex(); }
public void visit(OWLSymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); processAxiomAnnotations(axiom); }