Package org.mindswap.pellet

Examples of org.mindswap.pellet.KnowledgeBase.realize()

121
122
123
124
125
126
127
128
129
130
131
    List<RuleAtom> head = new ArrayList<RuleAtom>();
    head.add( new DatavaluedPropertyAtom( r, x, z3 ) );

    kb.addRule( new Rule( head, body ) );

    kb.realize();
    assertTrue( kb.hasPropertyValue( i, r, d12 ) );

  }

  @Test
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305
    head.add( new DatavaluedPropertyAtom( quotient, x, z6 ) );

    Rule rule = new Rule( head, body );
    kb.addRule( rule );

    kb.realize();
    assertTrue( kb.hasPropertyValue( i, sum, sum11 ) );
    assertTrue( kb.hasPropertyValue( i, sum, sum12 ) );
    assertTrue( kb.hasPropertyValue( i, sum, sum22 ) );
    assertTrue( kb.hasPropertyValue( i, difference, dif11 ) );
    assertTrue( kb.hasPropertyValue( i, difference, dif12 ) );
View Full Code Here
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
    assertEquals( 0, realizeTimer.getCount() );   
    assertFalse( kb.isClassified() );
    assertFalse( kb.isRealized() );
   
    // force realization
    kb.realize();

    // make sure counts are ok
    assertEquals( 1, classifyTimer.getCount() );
    assertEquals( 1, realizeTimer.getCount() );
View Full Code Here
369
370
371
372
373
374
375
376
377
378
379
    Rule rule = new Rule( Collections.singleton( head ), Arrays.asList( new RuleAtom[] {
        body1, body2 } ) );
    kb.addRule( rule );

    kb.realize();
    assertTrue( kb.hasPropertyValue( j, p, d ) );
    assertTrue( kb.hasPropertyValue( k, p, d ) );
  }

  /**
 
View Full Code Here
408
409
410
411
412
413
414
415
416
417
418
    Rule rule = new Rule( Collections.singleton( head ), Arrays.asList( new RuleAtom[] {
        body1, body2 } ) );
    kb.addRule( rule );

    kb.realize();
    assertTrue( kb.hasPropertyValue( j, p, d ) );
    assertTrue( kb.hasPropertyValue( k, p, d ) );
  }

  @Test
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
    kb.addRule( new Rule( Arrays.asList( new RuleAtom[] { new ClassAtom( d, new AtomIConstant(
        i ) ) } ), Arrays
        .asList( new RuleAtom[] { new ClassAtom( c, new AtomIConstant( i ) ) } ) ) );

    kb.realize();
    assertTrue( kb.getTypes( i ).contains( Collections.singleton( d ) ) );

  }

  @Test
View Full Code Here
481
482
483
484
485
486
487
488
489
490
491
    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 ) );
  }

  public void testLuigiFamilyJena() throws Exception {
View Full Code Here
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
 
      kb.classify();
 
      kb.getTaxonomyBuilder().setProgressMonitor( monitor );
 
      kb.realize();
 
      assertFalse( kb.isRealized() );
    }
    finally {
      PelletOptions.setOptions( savedOptions );     
View Full Code Here
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();

    for( int test = 0; test < 2; test++ ) {
      if( test != 0 ) {
              kb.realize();
            }

      assertTrue( hasAncestor.hasRDFType( OWL2.TransitiveProperty ) );
      assertTrue( hasDescendant.hasRDFType( OWL2.TransitiveProperty ) );
      assertTrue( isMarriedTo.hasRDFType( OWL2.SymmetricProperty ) );
View Full Code Here
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();

    for( int test = 0; test < 1; test++ ) {
      if( test != 0 ) {
              kb.realize();
            }

      assertTrue( Abel.hasProperty( sibling, Cain ) );

      assertIteratorValues( Abel.listPropertyValues( sibling ), new Resource[] { Cain } );
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.