@Override public SWRLDifferentIndividualsAtom buildObject() { return df .getSWRLDifferentIndividualsAtom(verifyNotNull(getArg0()), verifyNotNull(getArg1())); } }
@Override public SWRLDifferentIndividualsAtom visit(SWRLDifferentIndividualsAtom node) { return df.getSWRLDifferentIndividualsAtom(t(node.getFirstArgument()), t(node.getSecondArgument())); }
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 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 buildObject() { return df .getSWRLDifferentIndividualsAtom(verifyNotNull(getArg0()), verifyNotNull(getArg1())); } }
@Override public SWRLDifferentIndividualsAtom visit(SWRLDifferentIndividualsAtom node) { return df.getSWRLDifferentIndividualsAtom(get(node.getFirstArgument()), get(node.getSecondArgument())); }
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); }