@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
axiom.getProperty().accept(this);
OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
obj = dataFactory.getOWLTransitiveObjectPropertyAxiom(prop, duplicateAxiomAnnotations(axiom));
}
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
handleObject(axiom);
axiom.getProperty().accept(this);
}
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
constructs.add(TRAN);
axiom.getProperty().accept(this);
}
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
}
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
axiom.getProperty().accept(this);
processAxiomAnnotations(axiom);
}
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
write("TransitiveProperty");
axiom.getProperty().accept(this);
}