How to use

getOWLObjectSomeValuesFrom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

  public void createRestrictions(Set<OWLObjectProperty> properties, Set<OWLClass> fillers,
                  Set<OWLClassExpression> result) {
    for (OWLObjectProperty prop : properties) {
      for (OWLClass filler : fillers) {
        result.add(getDataFactory().getOWLObjectSomeValuesFrom(prop, filler));
      }
    }
  }
});

  @Override
  @Nullable
  protected OWLClassExpression expandOWLObjHasVal(OWLObjectHasValue desc,
    OWLIndividual filler,
    OWLObjectPropertyExpression p) {
    OWLClassExpression result = expandObject(filler, p);
    if (result != null) {
      result = df.getOWLObjectSomeValuesFrom(desc.getProperty(), result);
    }
    return result;
  }
};

  @Override
  @Nullable
  protected OWLClassExpression expandOWLObjHasVal(OWLObjectHasValue desc,
    OWLIndividual filler,
    OWLObjectPropertyExpression p) {
    OWLClassExpression result = expandObject(filler, p);
    if (result != null) {
      result = df.getOWLObjectSomeValuesFrom(desc.getProperty(), result);
    }
    return result;
  }
};

@Nonnull
public OWLObjectSomeValuesFrom toSomeValuesFrom(@Nonnull OBORelationship relationship) {
  OWLObjectProperty property = relationship.getRelation().getEntity();
  OWLClass filler = relationship.getValue().getEntity();
  return dataFactory.getOWLObjectSomeValuesFrom(property, filler);
}

  @Override
  public OWLObjectSomeValuesFrom buildObject() {
    return df.getOWLObjectSomeValuesFrom(verifyNotNull(getProperty()), getRange());
  }
}

  @Override
  public OWLObjectSomeValuesFrom buildObject() {
    return df.getOWLObjectSomeValuesFrom(verifyNotNull(getProperty()), getRange());
  }
}

@Override
public Collection<OWLAxiom> visit(OWLObjectPropertyDomainAxiom axiom) {
  return subClassOf(df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()),
    axiom.getDomain());
}

@Override
public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) {
  OWLClassExpression filler = ce.getFiller().accept(this);
  if (negated) {
    return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler);
  }
  return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler);
}

 final public OWLClassExpression ObjectSomeValuesFrom() throws ParseException {OWLObjectPropertyExpression prop;
  OWLClassExpression filler;
  jj_consume_token(OBJECTSOMEVALUESFROM);
  jj_consume_token(OPENPAR);
  prop = ObjectPropertyExpression();
  filler = ClassExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectSomeValuesFrom(prop, filler);
}

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
  // prop some Thing subclassOf domain
  OWLClassExpression sub = dataFactory
    .getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing());
  OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}

 final public OWLClassExpression Some() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop;
  OWLClassExpression filler;
  jj_consume_token(OPENPAR);
  jj_consume_token(SOME);
  prop = RoleExpression();
  filler = ConceptExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectSomeValuesFrom(prop, filler);
}

@Override
public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) {
  if (ce.getFiller().isAnonymous()) {
    OWLClass name = createNewName();
    axioms.add(getSCA(name, ce.getFiller().accept(this)));
    return ldf.getOWLObjectSomeValuesFrom(ce.getProperty(), name);
  }
  return ce;
}

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

 final public OWLClassExpression Some() throws ParseException {OWLObjectProperty prop;
  OWLClassExpression filler;
  jj_consume_token(OPENPAR);
  jj_consume_token(SOME);
  prop = RoleName();
  filler = ConceptExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectSomeValuesFrom(prop, filler);
}

 final public OWLClassExpression Some() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop;
  OWLClassExpression filler;
  jj_consume_token(OPENPAR);
  jj_consume_token(SOME);
  prop = RoleExpression();
  filler = ConceptExpression();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectSomeValuesFrom(prop, filler);
}

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
  // prop some Thing subclassOf domain
  OWLClassExpression sub = dataFactory
    .getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing());
  OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain());
  ax.accept(this);
}

@Override
public OWLClassExpression visit(OWLObjectAllValuesFrom ce) {
  OWLClassExpression filler = ce.getFiller().accept(this);
  if (negated) {
    return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler);
  }
  return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler);
}

protected OWLClassExpression getOWLClassOrRestriction(String termList) {
  String[] strings = termList.split(" ");
  if (strings.length == 1) {
    return getDataFactory().getOWLClass(getIRIFromOBOId(strings[0]));
  }
  String id0 = strings[0];
  String id1 = strings[1];
  IRI propertyIRI = getConsumer().getRelationIRIFromSymbolicIdOrOBOId(id0);
  OWLObjectProperty prop = getDataFactory().getOWLObjectProperty(propertyIRI);
  OWLClass filler = getDataFactory().getOWLClass(getIRIFromOBOId(id1));
  return getDataFactory().getOWLObjectSomeValuesFrom(prop, filler);
}

@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
  df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this);
  writeSpace();
  write(SUBCLASS);
  writeSpace();
  axiom.getDomain().accept(this);
}

  @Override
  public OWLObjectSomeValuesFrom translate(IRI mainNode) {
    getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI());
    IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true);
    OWLObjectPropertyExpression property = getConsumer()
      .translateObjectPropertyExpression(verifyNotNull(propertyIRI));
    IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true);
    OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI));
    return getDataFactory().getOWLObjectSomeValuesFrom(property, filler);
  }
}