@Override public void visit(OWLObjectMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality expr) { isTopEq = isMaxTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isTopEq = isMinTopEquivalent(n, expr.getProperty(), expr.getFiller()) && isMaxTopEquivalent(n, expr .getProperty(), expr.getFiller()); }