How to use

getSWRLDifferentIndividualsAtom

method

in

org.semanticweb.owlapi.model.OWLDataFactory

protected SWRLAtom differentFromAtom(IRI firstObject) {
  SWRLIArgument arg1 = translateSWRLAtomIObject(firstObject, ARGUMENT_1.getIRI());
  SWRLIArgument arg2 = translateSWRLAtomIObject(firstObject, ARGUMENT_2.getIRI());
  return dataFactory.getSWRLDifferentIndividualsAtom(arg1, arg2);
}

@Override
public SWRLDifferentIndividualsAtom visit(SWRLDifferentIndividualsAtom node) {
  return df.getSWRLDifferentIndividualsAtom(t(node.getFirstArgument()),
          t(node.getSecondArgument()));
}

  @Override
  public SWRLDifferentIndividualsAtom buildObject() {
    return df
      .getSWRLDifferentIndividualsAtom(verifyNotNull(getArg0()), verifyNotNull(getArg1()));
  }
}

@Override
public SWRLDifferentIndividualsAtom visit(SWRLDifferentIndividualsAtom node) {
  return df.getSWRLDifferentIndividualsAtom(get(node.getFirstArgument()),
    get(node.getSecondArgument()));
}

@Override
public SWRLDifferentIndividualsAtom visit(SWRLDifferentIndividualsAtom node) {
  return df.getSWRLDifferentIndividualsAtom(get(node.getFirstArgument()),
    get(node.getSecondArgument()));
}

  @Override
  public void endElement() throws OWLParserException, UnloadableImportException {
    setAtom(getOWLDataFactory().getSWRLDifferentIndividualsAtom(arg0, arg1));
    getParentHandler().handleChild(this);
  }
}

  public void endElement() throws OWLParserException, UnloadableImportException {
    setAtom(getOWLDataFactory().getSWRLDifferentIndividualsAtom(arg0, arg1));
    getParentHandler().handleChild(this);
  }
}

@Override
public void visit(SWRLDifferentIndividualsAtom node) {
  obj = df.getSWRLDifferentIndividualsAtom(dup(node.getFirstArgument()),
    dup(node.getSecondArgument()));
}

  @Override
  public SWRLDifferentIndividualsAtom buildObject() {
    return df
      .getSWRLDifferentIndividualsAtom(verifyNotNull(getArg0()), verifyNotNull(getArg1()));
  }
}

protected SWRLAtom differentFromAtom(IRI firstObject) {
  SWRLIArgument arg1 = translateSWRLAtomIObject(firstObject, ARGUMENT_1.getIRI());
  SWRLIArgument arg2 = translateSWRLAtomIObject(firstObject, ARGUMENT_2.getIRI());
  return dataFactory.getSWRLDifferentIndividualsAtom(arg1, arg2);
}

@Override
public SWRLDifferentIndividualsAtom visit(SWRLDifferentIndividualsAtom node) {
  return df.getSWRLDifferentIndividualsAtom(get(node.getFirstArgument()),
    get(node.getSecondArgument()));
}

  @Override
  public SWRLDifferentIndividualsAtom buildObject() {
    return df
      .getSWRLDifferentIndividualsAtom(verifyNotNull(getArg0()), verifyNotNull(getArg1()));
  }
}

protected SWRLAtom differentFromAtom(IRI firstObject) {
  SWRLIArgument arg1 = translateSWRLAtomIObject(firstObject, ARGUMENT_1.getIRI());
  SWRLIArgument arg2 = translateSWRLAtomIObject(firstObject, ARGUMENT_2.getIRI());
  return dataFactory.getSWRLDifferentIndividualsAtom(arg1, arg2);
}

 final public SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws ParseException {SWRLIArgument arg0;
  SWRLIArgument arg1;
  jj_consume_token(DIFFERENTINDIVIDUALSATOM);
  jj_consume_token(OPENPAR);
  arg0 = IArg();
  arg1 = IArg();
  jj_consume_token(CLOSEPAR);
return df.getSWRLDifferentIndividualsAtom(arg0, arg1);
}

@Override
public Object visit(SWRLDifferentIndividualsAtom node) {
  return visit(node,
    () -> df.getSWRLDifferentIndividualsAtom(t(node.getFirstArgument()), t(node
      .getSecondArgument())));
}

@Override
public void visit(SWRLDifferentIndividualsAtom at) {
  if (m_isPositive)
    m_normalizedHeadAtoms.add(m_factory.getSWRLDifferentIndividualsAtom(getVariableFor(at.getFirstArgument()),getVariableFor(at.getSecondArgument())));
  else
    m_normalizedHeadAtoms.add(m_factory.getSWRLSameIndividualAtom(getVariableFor(at.getFirstArgument()),getVariableFor(at.getSecondArgument())));
}
@Override

final public SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws ParseException {
 SWRLIArgument arg0;
 SWRLIArgument arg1;
 jj_consume_token(DIFFERENTINDIVIDUALSATOM);
 jj_consume_token(OPENPAR);
 arg0 = IArg();
 arg1 = IArg();
 jj_consume_token(CLOSEPAR);
                                      {if (true) return dataFactory.getSWRLDifferentIndividualsAtom(arg0, arg1);}
 throw new Error("Missing return statement in function");
}

 final public SWRLDifferentIndividualsAtom DifferentIndividualsAtom() throws ParseException {SWRLIArgument arg0;
  SWRLIArgument arg1;
  jj_consume_token(DIFFERENTINDIVIDUALSATOM);
  jj_consume_token(OPENPAR);
  arg0 = IArg();
  arg1 = IArg();
  jj_consume_token(CLOSEPAR);
return df.getSWRLDifferentIndividualsAtom(arg0, arg1);
}

private SWRLDifferentIndividualsAtom parseDifferentFromAtom() {
  consumeToken(ManchesterOWLSyntax.DIFFERENT_FROM.toString());
  consumeToken(OPEN.keyword());
  SWRLIArgument obj1 = parseIObject();
  consumeToken(COMMA.keyword());
  SWRLIArgument obj2 = parseIObject();
  consumeToken(CLOSE.keyword());
  return df.getSWRLDifferentIndividualsAtom(obj1, obj2);
}

private SWRLDifferentIndividualsAtom parseDifferentFromAtom() {
  consumeToken(ManchesterOWLSyntax.DIFFERENT_FROM.toString());
  consumeToken(OPEN.keyword());
  SWRLIArgument obj1 = parseIObject();
  consumeToken(COMMA.keyword());
  SWRLIArgument obj2 = parseIObject();
  consumeToken(CLOSE.keyword());
  return df.getSWRLDifferentIndividualsAtom(obj1, obj2);
}