How to use

getOWLSameIndividualAxiom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

  @Override
  public OWLSameIndividualAxiom buildObject() {
    return df.getOWLSameIndividualAxiom(items, annotations);
  }
}

public static OWLSameIndividualAxiom SameIndividual(
  Collection<? extends OWLIndividual> individuals) {
  return DF.getOWLSameIndividualAxiom(individuals);
}

  @Override
  public OWLSameIndividualAxiom buildObject() {
    return df.getOWLSameIndividualAxiom(items, annotations);
  }
}

public Set<OWLSameIndividualAxiom> asPairwiseAxioms() {
  List<OWLIndividual> inds = getIndividualsAsList();
  Set<OWLSameIndividualAxiom> result = new HashSet<OWLSameIndividualAxiom>();
  for(int i = 0; i < inds.size() - 1; i++) {
    OWLIndividual indI = inds.get(i);
    OWLIndividual indJ = inds.get(i + 1);
    result.add(getOWLDataFactory().getOWLSameIndividualAxiom(indI, indJ));
  }
  return result;
}

protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) {
  object.add(getRootObject());
  OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object);
  return ax;
}

protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) {
  object.add(getRootObject());
  OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object);
  return ax;
}

protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) {
  object.add(getRootObject());
  OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object);
  return ax;
}

@Override
public OWLSameIndividualAxiom visit(OWLSameIndividualAxiom ax) {
  return df.getOWLSameIndividualAxiom(list(ax.individuals()), a(ax));
}

@Override
public void visit(OWLSameIndividualAxiom ax) {
  obj = df.getOWLSameIndividualAxiom(set(ax.individuals()), anns(ax));
}

 final public OWLAxiom parseSameIndividual() throws ParseException {OWLIndividual indA;
  OWLIndividual indB;
  indA = parseIndividualId();
  jj_consume_token(EXACT);
  indB = parseIndividualId();
return factory.getOWLSameIndividualAxiom(indA, indB);
}

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    add(df.getOWLSameIndividualAxiom(Sets.newHashSet(ind(s), ind(o)), anns()));
    consume(s, p, o);
  }
}

  @Override
  public void handleTriple(IRI s, IRI p, IRI o) {
    add(df.getOWLSameIndividualAxiom(Sets.newHashSet(ind(s), ind(o)), anns()));
    consume(s, p, o);
  }
}

 final public OWLAxiom Equal() throws ParseException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
return df.getOWLSameIndividualAxiom(indA, indB);
}

final public OWLIndividualAxiom SameIndividuals() throws ParseException {
 Set<OWLIndividual> individuals;
 Set<OWLAnnotation> axiomAnnos;
 jj_consume_token(SAMEINDIVIDUAL);
 jj_consume_token(OPENPAR);
 axiomAnnos = AxiomAnnotationSet();
 individuals = IndividualSet();
 jj_consume_token(CLOSEPAR);
   {if (true) return dataFactory.getOWLSameIndividualAxiom(individuals, axiomAnnos);}
 throw new Error("Missing return statement in function");
}

@Override
public Object visit(OWLSameIndividualAxiom axiom) {
  return visitAxiom(axiom,
    () -> df.getOWLSameIndividualAxiom(t(axiom.individuals()), t(axiom
      .annotations())));
}

 final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLSameIndividualAxiom(indA, indB));
}

 final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLSameIndividualAxiom(indA, indB));
}

 final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB;
  jj_consume_token(OPENPAR);
  jj_consume_token(EQUAL);
  indA = IndividualName();
  indB = IndividualName();
  jj_consume_token(CLOSEPAR);
addAxiom( df.getOWLSameIndividualAxiom(indA, indB));
}

private void initialiseIndividualFrameSections() {
  //@formatter:off
  initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections);
  // Extensions
  initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  //@formatter:on
}

private void initialiseIndividualFrameSections() {
  //@formatter:off
  initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections);
  initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections);
  // Extensions
  initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections);
  //@formatter:on
}