public void visit(OWLObjectMinCardinality desc) { hashCode = 227; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getCardinality(); hashCode = hashCode * MULT + desc.getFiller().hashCode(); }
@Override public Boolean visit(OWLObjectMinCardinality ce) { return Boolean .valueOf(ce.getCardinality() <= 1 && ce.getFiller().accept(this).booleanValue()); } }
@Override public void visit(OWLObjectMinCardinality object) { visitProperty(object.getProperty()); object.getFiller().accept(this); }
@Override public void visit(OWLObjectMinCardinality desc) { hashCode = 227; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getCardinality(); hashCode = hashCode * MULT + desc.getFiller().hashCode(); }
@Override public void visit(OWLObjectMinCardinality ce) { walkerCallback.pushClassExpression(ce); process(ce); ce.getProperty().accept(this); ce.getFiller().accept(this); walkerCallback.popClassExpression(); }
public void visit(OWLObjectMinCardinality desc) { if (desc.getCardinality() > 0) { visitObject(desc.getFiller()); } }
@Override public void visit(OWLObjectMinCardinality ce) { hashCode = primes[45]; hashCode = hashCode * MULT + ce.getProperty().hashCode(); hashCode = hashCode * MULT + ce.getCardinality(); hashCode = hashCode * MULT + ce.getFiller().hashCode(); }
@Override public void visit(OWLObjectMinCardinality ce) { walkerCallback.pushClassExpression(ce); process(ce); ce.getProperty().accept(this); ce.getFiller().accept(this); walkerCallback.popClassExpression(); }
@Override public Set<OWLClassExpression> visit(OWLObjectMinCardinality ce) { Set<OWLClassExpression> result = new HashSet<>(); for(int n = ce.getCardinality(); n < cardinalityBound; n++) { result.add(dataFactory.getOWLObjectMinCardinality(n, ce.getProperty(), ce.getFiller())); } return result; }
@Override public void visit(OWLObjectMinCardinality expr) { isBotEq = isMinBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality expr) { value = getMinValue(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality expr) { value = getMinValue(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality minExpression) { if (minExpression.getCardinality()==1){ expressions.add( factory.getOWLObjectSomeValuesFrom(minExpression.getProperty(), minExpression.getFiller()) ); wasNormalized=true; } }
@Override public void visit(OWLObjectMinCardinality 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(OWLObjectMinCardinality expr) { isTopEq = isMinTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality expr) { isBotEq = isMinBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality expr) { isTopEq = isMinTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality ce) { ce.getFiller().accept(this); OWLClassExpression cen = stack.pop(); stack.push(factory.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), cen)); }
@Override public Stream<OWLClassExpression> visit(OWLObjectMinCardinality ce) { return (ce.getCardinality() == 1) ? df.getOWLObjectSomeValuesFrom(ce.getProperty(), ce.getFiller()).accept(this) : ce.getFiller().accept(this) .map(f -> df.getOWLObjectMinCardinality(ce.getCardinality(), ce.getProperty(), f)); }