How to use

getOWLDataSomeValuesFrom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

  public void createRestrictions(Set<OWLDataProperty> properties, Set<OWLDatatype> fillers,
                  Set<OWLClassExpression> result) {
    for (OWLDataProperty prop : properties) {
      for (OWLDatatype filler : fillers) {
        result.add(getDataFactory().getOWLDataSomeValuesFrom(prop, filler));
      }
    }
  }
});

  @Override
  public OWLDataSomeValuesFrom buildObject() {
    return df.getOWLDataSomeValuesFrom(getProperty(), getDataRange());
  }
}

  @Override
  public OWLDataSomeValuesFrom buildObject() {
    return df.getOWLDataSomeValuesFrom(getProperty(), getDataRange());
  }
}

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

@Override
public OWLClassExpression visit(OWLDataPropertyRangeAxiom ax) {
  return df.getOWLDataSomeValuesFrom(ax.getProperty(),
    df.getOWLDataComplementOf(ax.getRange()));
}

@Override
public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) {
  return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()),
    axiom.getDomain());
}

@Override
public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = factory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype());
  return and(sub, not(axiom.getDomain()));
}

@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);
}

@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 void visit(OWLDataPropertyDomainAxiom axiom) {
  OWLClassExpression sub = dataFactory
    .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory
      .getTopDatatype());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}

 final public OWLClassExpression DataSomeValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATASOMEVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataSomeValuesFrom(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 DataSomeValuesFrom() throws ParseException {OWLDataPropertyExpression prop = null;
  OWLDataRange dataRange = null;
  jj_consume_token(DATASOMEVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = DataPropertyExpression();
  dataRange = DataRange();
  jj_consume_token(CLOSEPAR);
return df.getOWLDataSomeValuesFrom(prop, dataRange);
}

@Override
public Object visit(OWLDataSomeValuesFrom ce) {
  return visit(ce,
    () -> df.getOWLDataSomeValuesFrom(t(ce.getProperty()), t(ce.getFiller())));
}

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

  public void visit(OWLDataMinCardinality min) {
    if (min.getCardinality() == 1 && min.isQualified()){
      OWLDataSomeValuesFrom someValuesFrom =
          getOWLDataFactory().getOWLDataSomeValuesFrom(min.getProperty(), min.getFiller());
      visit(someValuesFrom);
    }
    else{
      super.visit(min);
    }
  }
}

@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
  df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  axiom.getDomain().accept(this);
}

  @Override
  public OWLDataSomeValuesFrom translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataSomeValuesFrom(property, filler);
  }
}

  @Override
  public OWLDataSomeValuesFrom translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataSomeValuesFrom(property, filler);
  }
}

  @Override
  public OWLDataSomeValuesFrom translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLDataPropertyExpression property = getConsumer()
      .translateDataPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true);
    OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLDataSomeValuesFrom(property, filler);
  }
}