@Override
 public void visit(OWLDataPropertyAssertionAxiom axiom) {
   axiom.getProperty().accept(this);
   writeSpace();
   write("(");
   axiom.getSubject().accept(this);
   writeSpace();
   axiom.getObject().accept(this);
   write(")");
 }
 @Override
 public void visit(OWLDataPropertyAssertionAxiom axiom) {
   axiom.getSubject().accept(this);
   OWLIndividual subj = (OWLIndividual) obj;
   axiom.getProperty().accept(this);
   OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
   axiom.getObject().accept(this);
   OWLLiteral con = (OWLLiteral) obj;
   obj =
       dataFactory.getOWLDataPropertyAssertionAxiom(
           prop, subj, con, duplicateAxiomAnnotations(axiom));
 }
 public void visit(OWLDataPropertyAssertionAxiom axiom) {
   addChildParent(axiom.getSubject(), axiom.getObject(), axiom);
 }