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