How to use

getOWLObjectOneOf

method

in

org.semanticweb.owlapi.model.OWLDataFactory

  @Override
  public OWLObjectOneOf buildObject() {
    return df.getOWLObjectOneOf(items);
  }
}

  @Override
  protected OWLClassExpression translateEquivalentClass(IRI mainNode) {
    return df
      .getOWLObjectOneOf(consumer.translatorAccessor.translateToIndividualSet(mainNode));
  }
}

public Set<OWLAxiom> visit(OWLDifferentIndividualsAxiom axiom) {
  // Explode into pairwise nominals?
  Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
  List<OWLIndividual> individuals = new ArrayList<OWLIndividual>(axiom.getIndividuals());
  for (int i = 0; i < individuals.size(); i++) {
    for (int j = i + 1; j < individuals.size(); j++) {
      axioms.addAll(subClassOf(df.getOWLObjectOneOf(individuals.get(i)),
          df.getOWLObjectOneOf(individuals.get(j))));
    }
  }
  return axioms;
}

@Override
public Collection<OWLAxiom> visit(OWLDifferentIndividualsAxiom axiom) {
  return axiom.walkPairwise(
    (a, b) -> subClassOfSingle(df.getOWLObjectOneOf(a), df.getOWLObjectOneOf(b)));
}

  @Override
  protected OWLClassExpression translateEquivalentClass(IRI mainNode) {
    return df
      .getOWLObjectOneOf(consumer.translatorAccessor.translateToIndividualSet(mainNode));
  }
}

  public void visit(OWLObjectHasValue node) {
    if (node.getProperty().equals(objectProperty)) {
      fillers.add(dataFactory.getOWLObjectOneOf(Collections.singleton(node.getValue())));
    }
  }
}

protected void axiomatizeTopObjectProperty(OWLAxioms axioms) {
  // TransitiveObjectProperty( owl:topObjectProperty )
  axioms.m_complexObjectPropertyInclusions.add(new OWLAxioms.ComplexObjectPropertyInclusion(m_topObjectProperty));
  // SymmetricObjectProperty( owl:topObjectProperty )
  axioms.m_simpleObjectPropertyInclusions.add(new OWLObjectPropertyExpression[] { m_topObjectProperty,m_topObjectProperty.getInverseProperty() });
  // SubClassOf( owl:Thing ObjectSomeValuesFrom( owl:topObjectProperty ObjectOneOf( <internal:nam#topIndividual> ) ) )
  OWLIndividual newIndividual=m_factory.getOWLNamedIndividual(IRI.create("internal:nam#topIndividual"));
  OWLObjectOneOf oneOfNewIndividual=m_factory.getOWLObjectOneOf(newIndividual);
  OWLObjectSomeValuesFrom hasTopNewIndividual=m_factory.getOWLObjectSomeValuesFrom(m_topObjectProperty,oneOfNewIndividual);
  axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewIndividual });
}
protected void axiomatizeBottomObjectProperty(OWLAxioms axioms) {

@Override
public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()),
    axiom.getClassExpression());
}

@Override
public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()),
    axiom.getClassExpression());
}

@Override
public Collection<OWLAxiom> visit(OWLNegativeObjectPropertyAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()),
    df.getOWLObjectAllValuesFrom(axiom.getProperty(),
      df.getOWLObjectComplementOf(df.getOWLObjectOneOf(axiom.getObject()))));
}

@Override
public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) {
  return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()),
    axiom.getClassExpression());
}

@Override
public OWLClassExpression visit(OWLObjectHasValue d) {
  OWLObjectOneOf nominal=m_factory.getOWLObjectOneOf(d.getFiller());
  return m_factory.getOWLObjectSomeValuesFrom(d.getProperty(),nominal);
}
@Override

@Override
public void visit(OWLClassAssertionAxiom axiom) {
  OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom.getIndividual());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getClassExpression());
  ax.accept(this);
}

 final public OWLClassExpression ObjectOneOf() throws ParseException {Set<OWLIndividual> individuals;
  jj_consume_token(OBJECTONEOF);
  jj_consume_token(OPENPAR);
  individuals = IndividualMinOneSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectOneOf(individuals);
}

 final public OWLClassExpression ObjectOneOf() throws ParseException {Set<OWLIndividual> individuals;
  jj_consume_token(OBJECTONEOF);
  jj_consume_token(OPENPAR);
  individuals = IndividualMinOneSet();
  jj_consume_token(CLOSEPAR);
return df.getOWLObjectOneOf(individuals);
}

@Override
public void visit(OWLClassAssertionAxiom axiom) {
  OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom.getIndividual());
  OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getClassExpression());
  ax.accept(this);
}

  @Override
  public OWLObjectOneOf translate(IRI mainNode) {
    IRI oneOfObject = getConsumer().getResourceObject(mainNode, OWL_ONE_OF, true);
    Set<OWLIndividual> individuals = accessor
      .translateToIndividualSet(verifyNotNull(oneOfObject));
    return getDataFactory().getOWLObjectOneOf(individuals);
  }
}

  @Override
  public OWLObjectOneOf translate(IRI mainNode) {
    IRI oneOfObject = getConsumer().getResourceObject(mainNode, OWL_ONE_OF, true);
    Set<OWLIndividual> individuals = getConsumer().translateToIndividualSet(oneOfObject);
    return getDataFactory().getOWLObjectOneOf(individuals);
  }
}

public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  OWLDataFactory df = getOWLDataFactory();
  return df.getOWLSubClassOfAxiom(
      df.getOWLObjectOneOf(getSubject()),
      df.getOWLObjectComplementOf(
          df.getOWLDataHasValue(getProperty(), getObject())
      )
  );
}

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