@Override
public void visit(OWLDataSomeValuesFrom desc) {
desc.getProperty().accept(this);
OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
desc.getFiller().accept(this);
OWLDataRange filler = (OWLDataRange) obj;
obj = dataFactory.getOWLDataSomeValuesFrom(prop, filler);
}
@Override
public void visit(OWLDataSomeValuesFrom node) {
write(SOME);
writeSpace();
node.getProperty().accept(this);
writeSpace();
node.getFiller().accept(this);
}
public void visit(OWLDataSomeValuesFrom object) {
if (!object.getProperty().isOWLBottomDataProperty()) {
AtomicRole atomicRole = getAtomicRole(object.getProperty());
OWLDataRange filler = object.getFiller();
if (filler instanceof OWLDataOneOf) {
for (OWLLiteral lit : ((OWLDataOneOf) filler).getValues()) {
LiteralDataRange literalRange =
m_dataRangeConverter.convertDataRange(m_factory.getOWLDataOneOf(lit));
AtLeastDataRange atLeastDataRange =
AtLeastDataRange.create(1, atomicRole, literalRange);
if (!atLeastDataRange.isAlwaysFalse())
m_headAtoms.add(Atom.create(atLeastDataRange, X));
}
} else {
LiteralDataRange literalRange = m_dataRangeConverter.convertDataRange(object.getFiller());
AtLeastDataRange atLeastDataRange = AtLeastDataRange.create(1, atomicRole, literalRange);
if (!atLeastDataRange.isAlwaysFalse()) m_headAtoms.add(Atom.create(atLeastDataRange, X));
}
}
}
@Override
public void visit(OWLDataSomeValuesFrom ce) {
constructs.add(E);
ce.getFiller().accept(this);
ce.getProperty().accept(this);
}
public void visit(OWLDataSomeValuesFrom desc) {
desc.getProperty().accept(this);
desc.getFiller().accept(this);
}