@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
axiom.getProperty().accept(this);
obj =
dataFactory.getOWLFunctionalObjectPropertyAxiom(
(OWLObjectPropertyExpression) obj, duplicateAxiomAnnotations(axiom));
}
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
write(TOP);
writeSpace();
write(SUBCLASS);
writeSpace();
df.getOWLObjectMaxCardinality(1, axiom.getProperty()).accept(this);
}
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
handleObject(axiom);
axiom.getProperty().accept(this);
}
@Override
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
constructs.add(F);
axiom.getProperty().accept(this);
}
public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
axiom.getProperty().accept(this);
processAxiomAnnotations(axiom);
}