@Override
 public void visit(OWLDataExactCardinality desc) {
   desc.getProperty().accept(this);
   OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
   desc.getFiller().accept(this);
   OWLDataRange filler = (OWLDataRange) obj;
   obj = dataFactory.getOWLDataExactCardinality(desc.getCardinality(), prop, filler);
 }
 public void visit(OWLDataExactCardinality desc) {
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }
 @Override
 public void visit(OWLDataExactCardinality desc) {
   handleObject(desc);
   desc.getProperty().accept(this);
 }
 @Override
 public void visit(OWLDataExactCardinality desc) {
   write(EQUAL);
   writeSpace();
   desc.getProperty().accept(this);
 }