public void visit(OWLObjectMinCardinality desc) { hashCode = 227; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getCardinality(); hashCode = hashCode * MULT + desc.getFiller().hashCode(); }
@Nonnull @Override public Optional<OWLProperty> visit(@Nonnull OWLObjectMinCardinality ce) { if (!ce.getProperty().isAnonymous() && ce.getCardinality() == 1) { return Optional.of(ce.getProperty().asOWLObjectProperty()); } else { return Optional.empty(); } }
@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(); }
@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 minExpression) { if (minExpression.getCardinality()==1){ expressions.add( factory.getOWLObjectSomeValuesFrom(minExpression.getProperty(), minExpression.getFiller()) ); wasNormalized=true; } }
@Override public void visit(OWLObjectMinCardinality expr) { value = getMinValue(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) { 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) { 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 expr) { isBotEq = isMinBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public Set<OWLClassExpression> visit(OWLObjectMinCardinality ce) { Set<OWLClassExpression> result = new HashSet<>(); for(int n = ce.getCardinality(); n > 0; n--) { result.add(dataFactory.getOWLObjectMinCardinality(n, ce.getProperty(), ce.getFiller())); result.add(dataFactory.getOWLObjectMinCardinality(n, ce.getProperty(), dataFactory.getOWLThing())); } return result; }