@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());
}