@Override public Collection<OWLObject> visit(OWLDataHasValue ce) { objects.add(ce); return ce.getProperty().accept(this); }
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; } }
@Override public OWLDataHasValue visit(OWLDataHasValue ce) { return df .getOWLDataHasValue(ce.getProperty(), process(ce.getProperty(), ce.getFiller())); }
@Override public OWLDataHasValue visit(OWLDataHasValue ce) { return df .getOWLDataHasValue(ce.getProperty(), process(ce.getProperty(), ce.getFiller())); }
@Override public void visit(OWLDataHasValue ce) { addConstruct(D); ce.getProperty().accept(this); }
@Override public void visit(OWLDataHasValue ce) { addConstruct(D); ce.getProperty().accept(this); }
@Override public void visit(OWLDataHasValue ce) { sb.append("DataHasValue("); ce.getProperty().accept(this); insertSpace(); ce.getFiller().accept(this); sb.append(')'); }
public void visit(OWLDataHasValue desc) { sb.append("DataHasValue("); desc.getProperty().accept(this); insertSpace(); desc.getValue().accept(this); sb.append(")"); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDataHasValue(OWLDataHasValue expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withLiteral(expected.getFiller()); }
@Override public void visit(OWLDataHasValue ce) { addRestrictionCommonTriplePropertyExpression(ce, ce.getProperty()); addTriple(ce, OWL_HAS_VALUE.getIRI(), ce.getFiller()); }
@Override public void visit(OWLDataHasValue ce) { addRestrictionCommonTriplePropertyExpression(ce, ce.getProperty()); addTriple(ce, OWL_HAS_VALUE.getIRI(), ce.getFiller()); }
public void visit(OWLDataHasValue restriction) { restriction.getProperty().accept( this ); ATermAppl p = term; restriction.getValue().accept( this ); ATermAppl dv = term; term = ATermUtils.makeHasValue( p, dv ); }
public void visit(OWLDataHasValue desc) { desc.getProperty().accept(this); OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj; desc.getValue().accept(this); OWLLiteral val = (OWLLiteral) obj; obj = dataFactory.getOWLDataHasValue(prop, val); }
@Nonnull @Override public Set<PropertyValue> visit(OWLDataHasValue desc) { return toSet(PropertyLiteralValue.get(rm.getDataPropertyData(desc.getProperty().asOWLDataProperty()), OWLLiteralData.get(desc.getFiller()), state)); } }
@Override public void visit(OWLDataHasValue ce) { write(SOME); ce.getProperty().accept(this); write("."); ce.getFiller().accept(this); }
@Override public void visit(OWLDataHasValue ce) { writer.writeStartElement(DATA_HAS_VALUE); ce.getProperty().accept(this); ce.getFiller().accept(this); writer.writeEndElement(); }
@Override public void visit(OWLDataHasValue ce) { writer.writeStartElement(DATA_HAS_VALUE); ce.getProperty().accept(this); ce.getFiller().accept(this); writer.writeEndElement(); }
@Override public void visit(OWLDataHasValue ce) { writer.writeStartElement(DATA_HAS_VALUE); ce.getProperty().accept(this); ce.getFiller().accept(this); writer.writeEndElement(); }
@Override public void visit(OWLDataHasValue ce) { walkerCallback.pushClassExpression(ce); process(ce); ce.getProperty().accept(this); ce.getFiller().accept(this); walkerCallback.popClassExpression(); }
public void visit(OWLDataHasValue node) { write(getSomeKeyWord()); write(" "); node.getProperty().accept(this); write(" {"); node.getFiller().accept(this); write("}"); }