/** * non-empty Concept/Data expression * * @param c class * @return true iff C^I is non-empty */ private boolean isBotDistinct(OWLObject c) { // TOP is non-empty if (localityChecker.isTopEquivalent(c)) { return true; } // built-in DT are non-empty // FIXME!! that's it for now return c instanceof OWLDatatype; }
/** * non-empty Concept/Data expression * * @param c class * @return true iff C^I is non-empty */ private boolean isBotDistinct(OWLObject c) { // TOP is non-empty if (localityChecker.isTopEquivalent(c)) { return true; } // built-in DT are non-empty // FIXME!! that's it for now return c instanceof OWLDatatype; }
/** * non-empty Concept/Data expression * * @param c class * @return true iff C^I is non-empty */ private boolean isBotDistinct(OWLObject c) { // TOP is non-empty if (localityChecker.isTopEquivalent(c)) { return true; } // built-in DT are non-empty // FIXME!! that's it for now return c instanceof OWLDatatype; }
/** * non-empty Concept/Data expression * * @param c class * @return true iff C^I is non-empty */ private boolean isBotDistinct(OWLObject c) { // TOP is non-empty if (localityChecker.isTopEquivalent(c)) { return true; } // built-in DT are non-empty // FIXME!! that's it for now return c instanceof OWLDatatype; }
@Override public void visit(OWLDataAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && !localityChecker .isTopEquivalent(expr .getFiller()); }
@Override public void visit(OWLDataAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && !localityChecker .isTopEquivalent(expr .getFiller()); }
@Override public void visit(OWLDataAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && !localityChecker .isTopEquivalent(expr .getFiller()); }
@Override public void visit(OWLDataAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && !localityChecker .isTopEquivalent(expr .getFiller()); }
@Override public void visit(OWLObjectComplementOf expr) { isBotEq = localityChecker.isTopEquivalent(expr.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { isBotEq = localityChecker.isTopEquivalent(node.getDataRange()); }
@Override public void visit(OWLObjectComplementOf expr) { isBotEq = localityChecker.isTopEquivalent(expr.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { isBotEq = localityChecker.isTopEquivalent(node.getDataRange()); }
@Override public void visit(OWLDataComplementOf node) { isBotEq = localityChecker.isTopEquivalent(node.getDataRange()); }
@Override public void visit(OWLObjectComplementOf expr) { isBotEq = localityChecker.isTopEquivalent(expr.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { isBotEq = localityChecker.isTopEquivalent(node.getDataRange()); }
@Override public void visit(OWLObjectComplementOf expr) { isBotEq = localityChecker.isTopEquivalent(expr.getOperand()); }
@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()); }
@Override public void visit(OWLObjectAllValuesFrom expr) { isBotEq = localityChecker.isTopEquivalent(expr.getProperty()) && isBotEquivalent( expr.getFiller()); }