@Override
 public void visit(OWLObjectExactCardinality desc) {
   desc.getProperty().accept(this);
   OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
   desc.getFiller().accept(this);
   OWLClassExpression filler = (OWLClassExpression) obj;
   obj = dataFactory.getOWLObjectExactCardinality(desc.getCardinality(), prop, filler);
 }
 @Override
 public void visit(OWLObjectExactCardinality desc) {
   write(EQUAL);
   writeSpace();
   desc.getProperty().accept(this);
   writeSpace();
   writeNested(desc.getFiller());
 }
 @Override
 public void visit(OWLObjectExactCardinality desc) {
   handleObject(desc);
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }
 public Integer visit(OWLObjectExactCardinality ce) {
   return 1 + ce.getFiller().accept(this);
 }
 public void visit(OWLObjectExactCardinality desc) {
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }