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