List of realize() Examples

Examples of realize()

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


    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

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

    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

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

  
      kb.classify();
  
      kb.getTaxonomyBuilder().setProgressMonitor( monitor );
  
      kb.realize();
  
      assertFalse( kb.isRealized() );
    }
    finally {
      PelletOptions.setOptions( savedOptions );

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()

    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()

    
    TestProgressMonitor progressMonitor = new TestProgressMonitor();
    
    kb.setTaxonomyBuilderProgressMonitor( progressMonitor );
    
    kb.realize();
    
    assertFalse( progressMonitor.isProgressLengthExceeded() );
  }
  
  private static class TestProgressMonitor extends AbstractProgressMonitor {

View Full Code Here

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

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


    long time = System.currentTimeMillis();
    try {
      kb.realize();
      time = System.currentTimeMillis() - time;
    } catch( TimeoutException e ) {
      timeout = true;
    }

View Full Code Here

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

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


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

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.