/** * @return true iff EXPR is bottom equivalent */ @Override public boolean isBotEquivalent(OWLObject expr) { return botEval.isBotEquivalent(expr); }
/** * QCRs * * @param n cardinality * @param r property * @param c class * @return true iff (>= n R.C) is botEq */ private boolean isMinBotEquivalent(int n, OWLPropertyExpression r, OWLPropertyRange c) { return n > 0 && (isBotEquivalent(r) || isBotEquivalent(c)); }
/** * @return true iff EXPR is bottom equivalent */ @Override public boolean isBotEquivalent(OWLObject expr) { return botEval.isBotEquivalent(expr); }
/** * QCRs * * @param n cardinality * @param r property * @param c class * @return true iff (>= n R.C) is botEq */ private boolean isMinBotEquivalent(int n, OWLPropertyExpression r, OWLPropertyRange c) { return n > 0 && (isBotEquivalent(r) || isBotEquivalent(c)); }
/** * @return true iff EXPR is bottom equivalent */ @Override public boolean isBotEquivalent(OWLObject expr) { return botEval.isBotEquivalent(expr); }
/** * @return true iff EXPR is bottom equivalent */ @Override public boolean isBotEquivalent(OWLObject expr) { return botEval.isBotEquivalent(expr); }
/** * QCRs * * @param n cardinality * @param r property * @param c class * @return true iff (>= n R.C) is botEq */ private boolean isMinBotEquivalent(int n, OWLPropertyExpression r, OWLPropertyRange c) { return n > 0 && (isBotEquivalent(r) || isBotEquivalent(c)); }
/** * @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); }
@Override public void visit(OWLObjectHasSelf expr) { isBotEq = isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLDataHasValue expr) { isBotEq = isBotEquivalent(expr.getProperty()); }
/** * @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); }
@Override public void visit(OWLObjectUnionOf expr) { isBotEq = !expr.operands().anyMatch(p -> !isBotEquivalent(p)); }
@Override public void visit(OWLObjectUnionOf expr) { isBotEq = !expr.operands().anyMatch(p -> !isBotEquivalent(p)); }
@Override public void visit(OWLObjectHasSelf expr) { isBotEq = isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLObjectHasSelf expr) { isBotEq = isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLObjectHasValue expr) { isBotEq = isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLDataHasValue expr) { isBotEq = isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }