@Override
 public void visit(OWLDataHasValue desc) {
   desc.getProperty().accept(this);
   OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
   desc.getValue().accept(this);
   OWLLiteral val = (OWLLiteral) obj;
   obj = dataFactory.getOWLDataHasValue(prop, val);
 }
 @Override
 public void visit(OWLDataHasValue node) {
   write(HASVALUE);
   writeSpace();
   node.getProperty().accept(this);
   writeSpace();
   node.getValue().accept(this);
 }
 @Override
 public void visit(OWLDataHasValue desc) {
   handleObject(desc);
   desc.getProperty().accept(this);
 }
 @Override
 public void visit(OWLDataHasValue ce) {
   constructs.add(D);
   ce.getProperty().accept(this);
 }
 public void visit(OWLDataHasValue desc) {
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }