@Override public void visit(OWLDataHasValue ce) { hashCode = primes[39]; hashCode = hashCode * MULT + ce.getProperty().hashCode(); hashCode = hashCode * MULT + ce.getFiller().hashCode(); }
@Override public void visit(OWLDataHasValue desc) { hashCode = 191; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getValue().hashCode(); }
@Override public OWLClassExpression visit(OWLDataHasValue ce) { return ce.asSomeValuesFrom().accept(this); }
@Override public Collection<OWLObject> visit(OWLDataHasValue ce) { objects.add(ce); return ce.getProperty().accept(this); }
@Nonnull @Override public Optional<OWLObject> visit(@Nonnull OWLDataHasValue ce) { return Optional.of(ce.getFiller()); }
@Override public void visit(OWLDataHasValue desc) { addRestrictionCommonTriplePropertyExpression(desc); addTriple(desc, OWL_HAS_VALUE.getIRI(), desc.getValue()); }
public void visit(OWLDataHasValue desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isBottomEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()); break; case TOP_TOP: isBottomEquivalent = false; break; } }
public void visit(OWLDataHasValue desc) { addRestrictionCommonTriples(desc); addTriple(desc, OWL_HAS_VALUE.getIRI(), desc.getValue()); }
@Override public void visit(final OWLDataHasValue theDescription) { writeRestriction(theDescription.getProperty(), Keyword.VALUE, theDescription.getFiller()); }
public void visit(OWLDataHasValue desc) { hashCode = 191; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getValue().hashCode(); }
@Override public Collection<OWLObject> visit(OWLDataHasValue ce) { objects.add(ce); return ce.getProperty().accept(this); }
@Override public OWLClassExpression visit(OWLDataHasValue ce) { return ce.asSomeValuesFrom().accept(this); }
@Override public void visit(OWLDataHasValue ce) { writeRestriction("has-value", ce.getProperty(), ce.getFiller()); }
@Override public void visit(OWLDataHasValue desc) { writeRestriction("has-value", desc.getProperty(), desc.getValue()); }
@Nonnull @Override public Optional<OWLProperty> visit(@Nonnull OWLDataHasValue ce) { if (!ce.getProperty().isAnonymous()) { return Optional.of(ce.getProperty().asOWLDataProperty()); } else { return Optional.empty(); } }
@Override public OWLClassExpression visit(OWLDataHasValue ce) { return ce.asSomeValuesFrom().accept(this); }
@Override public void visit(final OWLDataHasValue theDescription) { writeRestriction(theDescription.getProperty(), Keyword.VALUE, theDescription.getFiller()); }
@Override public void visit(OWLDataHasValue desc) { writeRestriction(DATA_HAS_VALUE, desc.getProperty(), desc.getValue()); }
public void visit(OWLDataHasValue desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = false; break; case TOP_TOP: isTopEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()); break; } }
@Override public OWLClassExpression visit(OWLDataHasValue ce) { return ce.asSomeValuesFrom().accept(this); }