@Override public void visit(OWLDataMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataExactCardinality expr) { int n = expr.getCardinality(); isBotEq = isMinBotEquivalent(n, expr.getProperty(), expr.getFiller()) || isMaxBotEquivalent(n, expr .getProperty(), expr.getFiller()); }