public void visit(OWLObjectMinCardinality desc) { hashCode = 227; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getCardinality(); hashCode = hashCode * MULT + desc.getFiller().hashCode(); }
public void visit(OWLObjectMinCardinality desc) { if (desc.getCardinality() > 0) { visitObject(desc.getFiller()); } }
@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 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 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 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 < cardinalityBound; n++) { result.add(dataFactory.getOWLObjectMinCardinality(n, ce.getProperty(), ce.getFiller())); } return result; }
@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) { 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) { 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) { isTopEq = isMinTopEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLObjectMinCardinality ce) { if (ce.getCardinality() == 0) { this.body.init(); // tautological } else if (ce.getCardinality() == 1) { handleObjectAllValues(ce.getProperty(), ce.getFiller()); } else { throw new OwlFeatureNotSupportedException( "Min cardinality restrictions with values greater than 1 in subclass positions are not supported in rules."); } }
@Override public OWLClassExpression visit(OWLObjectMinCardinality d) { if (d.getCardinality()==0) return m_factory.getOWLNothing(); else { OWLClassExpression filler=getNNF(d.getFiller()); return m_factory.getOWLObjectMaxCardinality(d.getCardinality()-1,d.getProperty(),filler); } } @Override