@Override public void visit(OWLDataSomeValuesFrom expr) { isBotEq = isMinBotEquivalent(1, expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectSomeValuesFrom expr) { isBotEq = isMinBotEquivalent(1, expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataSomeValuesFrom expr) { isBotEq = isMinBotEquivalent(1, expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectSomeValuesFrom expr) { isBotEq = isMinBotEquivalent(1, expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataSomeValuesFrom expr) { isBotEq = isMinBotEquivalent(1, expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataSomeValuesFrom expr) { isBotEq = isMinBotEquivalent(1, expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectSomeValuesFrom expr) { isBotEq = isMinBotEquivalent(1, expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMinCardinality expr) { isBotEq = isMinBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMinCardinality expr) { isBotEq = isMinBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality expr) { isBotEq = isMinBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMinCardinality expr) { isBotEq = isMinBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality expr) { isBotEq = isMinBotEquivalent(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()); }