Esempi in Java per SWRLDifferentIndividualsAtom

Esempio n. 1

File: OWLObjectDuplicator.java Progetto: 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);
 }

Esempio n. 2

File: LatexObjectVisitor.java Progetto: JPuritscher/owlapi

 @Override
 public void visit(SWRLDifferentIndividualsAtom node) {
   for (SWRLArgument a : node.getAllArguments()) {
     writeSpace();
     a.accept(this);
   }
 }

Esempio n. 3

File: OWLClausification_withMaps.java Progetto: anaarmas/PrisM

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

Esempio n. 4

File: OWLObjectComponentCollector.java Progetto: JPuritscher/owlapi

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

Esempio n. 5

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Progetto: Orphanet/java_ORDO

 public void visit(SWRLDifferentIndividualsAtom node) {
   node.getFirstArgument().accept(this);
 }