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