@Override
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);
}
@Override
public void visit(OWLDataHasValue node) {
write(HASVALUE);
writeSpace();
node.getProperty().accept(this);
writeSpace();
node.getValue().accept(this);
}
@Override
public void visit(OWLDataHasValue desc) {
handleObject(desc);
desc.getProperty().accept(this);
}
@Override
public void visit(OWLDataHasValue ce) {
constructs.add(D);
ce.getProperty().accept(this);
}
public void visit(OWLDataHasValue desc) {
desc.getProperty().accept(this);
desc.getFiller().accept(this);
}