List of realize() Examples

Examples of realize()

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


    assertFalse( timeout );
    assertTrue( kb.isClassified() );


    try {
      kb.realize();
    } catch( TimeoutException e ) {
      timeout = true;
    }


    assertTrue( timeout );

View Full Code Here

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

    if( classify ) {
      kb.setDoExplanation( true );
      pellet.prepare();
      kb.setDoExplanation( false );
      
      kb.realize();
    }
  }  


  @Override
  public void testInconsistencyExplanations(int max, OWLAxiom[]... explanations) throws Exception {

View Full Code Here

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


    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

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


    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

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


    KnowledgeBase kb = ((PelletInfGraph) model.getGraph()).getKB();


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


      assertIteratorValues( DreamTeamMember.listInstances(), new Object[] {
          Alice, Bob, Charlie } );

View Full Code Here

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

    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

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

    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

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

    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

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


    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

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


    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

0 1 2 3 4 5

TOP

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.