@Override public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); obj = dataFactory.getOWLInverseFunctionalObjectPropertyAxiom( (OWLObjectPropertyExpression) obj, duplicateAxiomAnnotations(axiom)); }
@Override public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); OWLObjectPropertyExpression prop = df.getOWLObjectInverseOf(axiom.getProperty()); df.getOWLObjectMaxCardinality(1, prop).accept(this); }
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); processAxiomAnnotations(axiom); }