Examples of DifferentIndividualsAtom

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

843
844
845
846
847
848
849
850
851
852
853
                }
                else if( argument2 == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.argument2 );
                }
                else {
                  atom = new DifferentIndividualsAtom( argument1, argument2 );
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.SameIndividualAtom.asNode() ) ) {
        AtomIObject argument1 = null;
        AtomIObject argument2 = null;
View Full Code Here

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

417
418
419
420
421
422
423
424
425
426
427
      ATermAppl i1 = (ATermAppl) term.getArgument( 0 );
      ATermAppl i2 = (ATermAppl) term.getArgument( 1 );
      AtomIObject io1 = convertAtomIObject( i1 );
      AtomIObject io2 = convertAtomIObject( i2 );
     
      atom = new DifferentIndividualsAtom( io1, io2 );     
    }
    else if( term.getAFun().equals( ATermUtils.BUILTINFUN ) ) {
      ATermList args = (ATermList) term.getArgument( 0 );
      ATermAppl builtin = (ATermAppl) args.getFirst();
      List<AtomDObject> list = new ArrayList<AtomDObject>();
View Full Code Here

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

1360
1361
1362
1363
1364
1365
1366
    AtomIObject subj = swrlIObject;

    atom.getSecondArgument().accept( this );
    AtomIObject obj = swrlIObject;

    swrlAtom = new DifferentIndividualsAtom( subj, obj );
  }
View Full Code Here

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

1287
1288
1289
1290
1291
1292
1293
    AtomIObject subj = swrlIObject;

    atom.getSecondArgument().accept( this );
    AtomIObject obj = swrlIObject;

    swrlAtom = new DifferentIndividualsAtom( subj, obj );
  }
View Full Code Here

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

841
842
843
844
845
846
847
848
849
850
851
                }
                else if( argument2 == null ) {
                  addUnsupportedFeature( "Term not found " + SWRL.argument2 );
                }
                else {
                  atom = new DifferentIndividualsAtom( argument1, argument2 );
                }
      }
      else if( hasObject( atomNode, RDF.type.asNode(), SWRL.SameIndividualAtom.asNode() ) ) {
        AtomIObject argument1 = null;
        AtomIObject argument2 = null;
View Full Code Here

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

478
479
480
481
482
483
484
485
486
487
488
    kb.addIndividual( j );
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 1, TOP ) );
    kb.addSubClass( TOP, oneOf( i, j ) );

    kb.addRule( new Rule( Collections.singletonList( new DifferentIndividualsAtom( x, y ) ),
        Collections.singletonList( new IndividualPropertyAtom( r, x, y ) ) ) );

    kb.realize();
    assertTrue( kb.isConsistent() );
    assertTrue( kb.isDifferentFrom( i, j ) );
View Full Code Here

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

81
82
83
84
85
86
87
88
89
  }

  @Test
  public void testDifferentIndividualsAtom() {
    kb.addIndividual(a);
    DifferentIndividualsAtom atom = new DifferentIndividualsAtom(vx, ca);
    TermTuple triple = new TermTuple(DependencySet.INDEPENDENT, Compiler.DIFF_FROM, vrx, cra);
    assertEquals(triple, ruleTranslator.translateAtom(atom, DependencySet.INDEPENDENT));
  }
View Full Code Here

Examples of com.clarkparsia.pellet.rules.model.DifferentIndividualsAtom

445
446
447
448
449
450
451
452
453
454
455
    kb.addIndividual( j );
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 1, TOP ) );
    kb.addSubClass( TOP, oneOf( i, j ) );

    kb.addRule( new Rule( Collections.singletonList( new DifferentIndividualsAtom( x, y ) ),
        Collections.singletonList( new IndividualPropertyAtom( r, x, y ) ) ) );

    kb.realize();
    assertTrue( kb.isConsistent() );
    assertTrue( kb.isDifferentFrom( i, j ) );
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.