Java SWRLDifferentIndividualsAtom.getSecondArgumentの例

コード例 #1

ファイル: OWLObjectDuplicator.java プロジェクト: rita-zgheib/owl-api

 @Override
 public void visit(SWRLDifferentIndividualsAtom node) {
   node.getFirstArgument().accept(this);
   SWRLIArgument arg0 = (SWRLIArgument) obj;
   node.getSecondArgument().accept(this);
   SWRLIArgument arg1 = (SWRLIArgument) obj;
   obj = dataFactory.getSWRLDifferentIndividualsAtom(arg0, arg1);
 }

コード例 #2

ファイル: OWLClausification_withMaps.java プロジェクト: anaarmas/PrisM

 public Atom visit(SWRLDifferentIndividualsAtom atom) {
   Variable variable1 = toVariable(atom.getFirstArgument());
   Variable variable2 = toVariable(atom.getSecondArgument());
   return Atom.create(Inequality.INSTANCE, variable1, variable2);
 }

コード例 #3

ファイル: OWLObjectComponentCollector.java プロジェクト: JPuritscher/owlapi

 @Override
 public void visit(SWRLDifferentIndividualsAtom node) {
   handleObject(node);
   node.getFirstArgument().accept(this);
   node.getSecondArgument().accept(this);
 }