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