/** * @param n cardinality * @param r role * @param c filler * @return true iff (<= n R.C) is topEq */ private boolean isMaxTopEquivalent(@SuppressWarnings("unused") int n, OWLPropertyExpression r, OWLPropertyRange c) { return localityChecker.isBotEquivalent(r) || localityChecker.isBotEquivalent(c); }
/** * @param n cardinality * @param r role * @param c filler * @return true iff (<= n R.C) is topEq */ private boolean isMaxTopEquivalent(@SuppressWarnings("unused") int n, OWLPropertyExpression r, OWLPropertyRange c) { return localityChecker.isBotEquivalent(r) || localityChecker.isBotEquivalent(c); }
/** * @param n cardinality * @param r role * @param c filler * @return true iff (<= n R.C) is topEq */ private boolean isMaxTopEquivalent(@SuppressWarnings("unused") int n, OWLPropertyExpression r, OWLPropertyRange c) { return localityChecker.isBotEquivalent(r) || localityChecker.isBotEquivalent(c); }
/** * @param n cardinality * @param r role * @param c filler * @return true iff (<= n R.C) is topEq */ private boolean isMaxTopEquivalent(@SuppressWarnings("unused") int n, OWLPropertyExpression r, OWLPropertyRange c) { return localityChecker.isBotEquivalent(r) || localityChecker.isBotEquivalent(c); }
@Override public void visit(OWLObjectComplementOf expr) { isTopEq = localityChecker.isBotEquivalent(expr.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { isTopEq = localityChecker.isBotEquivalent(node.getDataRange()); }
@Override public void visit(OWLDataComplementOf node) { isTopEq = localityChecker.isBotEquivalent(node.getDataRange()); }
@Override public void visit(OWLObjectComplementOf expr) { isTopEq = localityChecker.isBotEquivalent(expr.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { isTopEq = localityChecker.isBotEquivalent(node.getDataRange()); }
@Override public void visit(OWLObjectComplementOf expr) { isTopEq = localityChecker.isBotEquivalent(expr.getOperand()); }
@Override public void visit(OWLObjectComplementOf expr) { isTopEq = localityChecker.isBotEquivalent(expr.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { isTopEq = localityChecker.isBotEquivalent(node.getDataRange()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLDataAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLDataAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLDataAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }
@Override public void visit(OWLDataAllValuesFrom expr) { isTopEq = isTopEquivalent(expr.getFiller()) || localityChecker .isBotEquivalent(expr.getProperty()); }