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