/** * @param n cardinality * @param r property * @param c class * @return true iff (<= n R.C) is botEq */ private boolean isMaxBotEquivalent(int n, OWLPropertyExpression r, OWLPropertyRange c) { return isBotEquivalent(r) && isCardLargerThan(c, n); }
/** * @param n cardinality * @param r property * @param c class * @return true iff (<= n R.C) is botEq */ private boolean isMaxBotEquivalent(int n, OWLPropertyExpression r, OWLPropertyRange c) { return isBotEquivalent(r) && isCardLargerThan(c, n); }
/** * @param n cardinality * @param r property * @param c class * @return true iff (<= n R.C) is botEq */ private boolean isMaxBotEquivalent(int n, OWLPropertyExpression r, OWLPropertyRange c) { return isBotEquivalent(r) && isCardLargerThan(c, n); }
/** * @param n cardinality * @param r property * @param c class * @return true iff (<= n R.C) is botEq */ private boolean isMaxBotEquivalent(int n, OWLPropertyExpression r, OWLPropertyRange c) { return isBotEquivalent(r) && isCardLargerThan(c, n); }