@Override
 public void visit(OWLObjectMinCardinality desc) {
   desc.getProperty().accept(this);
   OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
   desc.getFiller().accept(this);
   OWLClassExpression filler = (OWLClassExpression) obj;
   obj = dataFactory.getOWLObjectMinCardinality(desc.getCardinality(), prop, filler);
 }
 @Override
 public void visit(OWLObjectMinCardinality desc) {
   write(MIN);
   writeSpace();
   write(desc.getCardinality());
   writeSpace();
   desc.getProperty().accept(this);
   writeSpace();
   writeNested(desc.getFiller());
 }
 public void visit(OWLObjectMinCardinality desc) {
   desc.getProperty().accept(this);
   desc.getFiller().accept(this);
 }
 public void visit(OWLObjectMinCardinality desc) {
   addChildParent(desc, desc.getFiller(), desc);
   desc.getFiller().accept(this);
 }