Package com.clarkparsia.pellet.rules.model

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

270
271
272
273
274
275
276
277
278
279
280
    kb.addIndividual( i );
    kb.addPropertyValue( p, i, d1 );
    kb.addPropertyValue( p, i, d2 );

    AtomIVariable x = new AtomIVariable( "x" );
    AtomDVariable z1 = new AtomDVariable( "z1" );
    AtomDVariable z2 = new AtomDVariable( "z2" );
    AtomDVariable z3 = new AtomDVariable( "z3" );
    AtomDVariable z4 = new AtomDVariable( "z4" );
    AtomDVariable z5 = new AtomDVariable( "z5" );
View Full Code Here
358
359
360
361
362
363
364
365
366
367
368
    kb.addPropertyValue( p, i, d );
    kb.addPropertyValue( r, i, j );
    kb.addPropertyValue( r, j, k );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );

    RuleAtom body1 = new IndividualPropertyAtom( r, x, y );
    RuleAtom body2 = new DatavaluedPropertyAtom( p, x, z ), head = new DatavaluedPropertyAtom(
        p, y, z );
View Full Code Here
397
398
399
400
401
402
403
404
405
406
407
    kb.addSubClass( TOP, oneOf( i, j, k ) );
    kb.addSubClass( TOP, min( r, 3, TOP ) );

    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );

    RuleAtom body1 = new IndividualPropertyAtom( r, x, y );
    RuleAtom body2 = new DatavaluedPropertyAtom( p, x, z ), head = new DatavaluedPropertyAtom(
        p, y, z );
View Full Code Here
427
428
429
430
431
432
433
434
435
436
437
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 3, TOP ) );
    kb.addSubClass( TOP, or( value( i ), value( j ), value( k ) ) );
    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );

    RuleAtom head = new DatavaluedPropertyAtom( p, x, z );
    RuleAtom body1 = new DatavaluedPropertyAtom( p, y, z );
    RuleAtom body2 = new IndividualPropertyAtom( r, x, y );
View Full Code Here
468
469
470
471
472
473
474
475
476
477
478
479
  public void testRuleEquality() {
    ATermAppl r = term( "r" );
    ATermAppl i = term( "i" );
    ATermAppl j = term( "j" );

    AtomIObject x = new AtomIVariable( "x" );
    AtomIObject y = new AtomIVariable( "y" );

    KnowledgeBase kb = new KnowledgeBase();
    kb.addIndividual( i );
    kb.addIndividual( j );
    kb.addObjectProperty( r );
View Full Code Here
545
546
547
548
549
550
551
552
553
554
555
    kb.addPropertyValue( hasParent, c12, p1a );
    kb.addPropertyValue( hasSibling, c12, c11 );
    kb.addPropertyValue( hasSibling, p1a, p2a );
    kb.addType( p2a, male );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" ), z = new AtomIVariable(
        "z" );

    kb.addRule( new Rule( Arrays.asList( new RuleAtom[] { new IndividualPropertyAtom( hasUncle,
        y, z ) } ), Arrays.asList( new RuleAtom[] {
        new IndividualPropertyAtom( hasParent, y, x ), new ClassAtom( male, z ),
View Full Code Here
558
559
560
561
562
563
564
565
566
    assertIteratorValues( kb.getObjectPropertyValues( hasUncle, c11 ).iterator(),
        new Object[] { p2a, } );
  }

  public void testVariableUtils1() {
    AtomIVariable var1 = new AtomIVariable( "var1" ), var2 = new AtomIVariable( "var2" );
    RuleAtom atom = new SameIndividualAtom( var1, var2 );
    assertIteratorValues( VariableUtils.getVars( atom ).iterator(), new Object[] { var1, var2 } );
  }
View Full Code Here
565
566
567
568
569
570
571
572
573
    assertIteratorValues( VariableUtils.getVars( atom ).iterator(), new Object[] { var1, var2 } );
  }

  public void testVariableUtils2() {
    ATermAppl p = term( "p" );
    AtomIVariable var1 = new AtomIVariable( "var1" ), var2 = new AtomIVariable( "var2" );
    RuleAtom atom = new IndividualPropertyAtom( p, var1, var2 );
    assertIteratorValues( VariableUtils.getVars( atom ).iterator(), new Object[] { var1, var2 } );
  }
View Full Code Here
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
    kb.addPropertyValue( p, x, a );
    kb.addPropertyValue( p, x, b );
    kb.addPropertyValue( p, x, c );

    {
      AtomIVariable v = new AtomIVariable( "v" );
      RuleAtom body = new ClassAtom( some( p, or( and( A, B ), or(
          and( A, C ), and( B, C ) ) ) ), v );
      RuleAtom head = new IndividualPropertyAtom( q, v, new AtomIConstant( y ) );
      Rule rule = new Rule( Collections.singleton( head ), Collections.singleton( body ) );
      kb.addRule( rule );
    }

    {
      AtomIVariable v = new AtomIVariable( "v" );
      RuleAtom body = new ClassAtom( G, v );
      RuleAtom head = new IndividualPropertyAtom( p, v, new AtomIConstant( y ) );
      Rule rule = new Rule( Collections.singleton( head ), Collections.singleton( body ) );
      kb.addRule( rule );
    }
View Full Code Here
694
695
696
697
698
699
700
701
702
703
704
    kb.addPropertyValue( p, c, c );

    kb.addDifferent( b, c );

    {
      AtomIVariable x = new AtomIVariable( "x" );
      List<RuleAtom> body = new ArrayList<RuleAtom>();
      body.add( new ClassAtom( C, x ) );
      List<RuleAtom> head = new ArrayList<RuleAtom>();
      head.add( new ClassAtom( C, x ) );
      Rule rule = new Rule( head, body );
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.rules.model.AtomIVariable

  • com.clarkparsia.pellet.owlapiv3.PelletVisitor
  • com.clarkparsia.pellet.utils.OntBuilder
  • org.mindswap.pellet.jena.graph.loader.DefaultGraphLoader
  • org.mindswap.pellet.KnowledgeBase
  • org.mindswap.pellet.owlapi.PelletVisitor
  • org.mindswap.pellet.tbox.impl.RuleAbsorber
  • org.mindswap.pellet.tbox.impl.TBoxImpl$RuleAbsorption
  • org.mindswap.pellet.test.inctest.IncConsistencyTests
  • org.mindswap.pellet.test.rules.BindingGeneratorsTest
  • org.mindswap.pellet.test.rules.MiscRuleTests
    • Copyright © 2018 www.massapicom. 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.