How to use

getOWLDataAllValuesFrom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

  public void createRestrictions(Set<OWLDataProperty> properties, Set<OWLDatatype> fillers,
                  Set<OWLClassExpression> result) {
    for (OWLDataProperty prop : properties) {
      if (fillers.isEmpty()) {
        return;
      }
      OWLDatatype filler = fillers.iterator().next();
      result.add(getDataFactory().getOWLDataAllValuesFrom(prop, filler));
    }
  }
});

  @Override
  public OWLDataAllValuesFrom buildObject() {
    return df.getOWLDataAllValuesFrom(getProperty(), getDataRange());
  }
}

@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
  OWLDataPropertyExpression dataProperty=axiom.getProperty();
  checkTopDataPropertyUse(dataProperty,axiom);
  OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange()));
  m_classExpressionInclusionsAsDisjunctions.add(Arrays.asList( allPropertyRange ));
}
@Override

@Override
public Boolean visit(OWLDataPropertyRangeAxiom axiom) {
  return Boolean.valueOf(reasoner.isSubClassOf(factory.getOWLThing(),factory.getOWLDataAllValuesFrom(axiom.getProperty(),axiom.getRange())));
}
@Override

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom d) {
  OWLDataRange filler=getNNF(d.getFiller());
  return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler);
}
@Override

public OWLClassExpression visit(OWLDataAllValuesFrom d) {
  OWLDataRange filler=getNNF(d.getFiller());
  return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler);
}
public OWLClassExpression visit(OWLDataHasValue d) {

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(rangeVisitor);
  return df.getOWLDataAllValuesFrom(ce.getProperty(), filler);
}

 final public OWLClassExpression DataAllValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATAALLVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataAllValuesFrom(prop, dataRange);
}

@Override
public OWLClassExpression visit(OWLDataSomeValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(dataVisitor);
  if (negated) {
    return df.getOWLDataAllValuesFrom(ce.getProperty(), filler);
  }
  return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler);
}

 final public OWLClassExpression DataAllValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATAALLVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataAllValuesFrom(prop, dataRange);
}

@Override
public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) {
  OWLClassExpression forall = df.getOWLDataAllValuesFrom(ax.getProperty(), ax.getRange());
  return df.getOWLObjectIntersectionOf(df.getOWLThing(), df.getOWLObjectComplementOf(forall));
}

@Override
public OWLClassExpression visit(OWLDataSomeValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(this);
  if (negated) {
    return dataFactory
        .getOWLDataAllValuesFrom(ce.getProperty(), filler);
  } else {
    return dataFactory.getOWLDataSomeValuesFrom(ce.getProperty(),
        filler);
  }
}

public OWLClassExpression visit(OWLDataSomeValuesFrom desc) {
  OWLDataRange filler = desc.getFiller().accept(this);
  if (negated) {
    return dataFactory.getOWLDataAllValuesFrom(desc.getProperty(), filler);
  } else {
    return dataFactory.getOWLDataSomeValuesFrom(desc.getProperty(), filler);
  }
}

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom desc) {
  OWLDataRange filler = desc.getFiller().accept(this);
  if (negated) {
    return dataFactory.getOWLDataSomeValuesFrom(desc.getProperty(), filler);
  } else {
    return dataFactory.getOWLDataAllValuesFrom(desc.getProperty(), filler);
  }
}

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom ce) {
  OWLDataRange filler = ce.getFiller().accept(dataVisitor);
  if (negated) {
    return df.getOWLDataSomeValuesFrom(ce.getProperty(), filler);
  }
  return df.getOWLDataAllValuesFrom(ce.getProperty(), filler);
}

@Override
public OWLDataAllValuesFrom visit(OWLDataAllValuesFrom ce) {
  if (ce.getFiller() instanceof OWLDataOneOf) {
    return df.getOWLDataAllValuesFrom(ce.getProperty(),
      process(ce.getProperty(), (OWLDataOneOf) ce
        .getFiller()));
  }
  return super.visit(ce);
}

@Override
public OWLDataAllValuesFrom visit(OWLDataAllValuesFrom ce) {
  if (ce.getFiller() instanceof OWLDataOneOf) {
    return df.getOWLDataAllValuesFrom(ce.getProperty(),
      process(ce.getProperty(), (OWLDataOneOf) ce
        .getFiller()));
  }
  return super.visit(ce);
}

@Override
public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()),
    df.getOWLDataAllValuesFrom(axiom.getProperty(),
      df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject()))));
}

@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
  write(TOP);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  df.getOWLDataAllValuesFrom(axiom.getProperty(), axiom.getRange())
      .accept(this);
}

@Override
public OWLClassExpression visit(OWLDataAllValuesFrom d) {
  if (d.getFiller().isTopDatatype()) {
    return m_factory.getOWLThing();
  }
  if (getSimplified(d.getFiller()).isTopDatatype())
    return m_factory.getOWLThing();
  else
    return m_factory.getOWLDataAllValuesFrom(d.getProperty(),getSimplified(d.getFiller()));
}
@Override