Package org.mindswap.pellet

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

2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
    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
117
118
119
120
121
122
123
124
125
126
127
    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
366
367
368
369
370
371
372
373
374
375
376
   
    TestProgressMonitor progressMonitor = new TestProgressMonitor();
   
    kb.setTaxonomyBuilderProgressMonitor( progressMonitor );
   
    kb.realize();
   
    assertFalse( progressMonitor.isProgressLengthExceeded() );
  }
 
  private static class TestProgressMonitor extends AbstractProgressMonitor {
View Full Code Here
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
    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
137
138
139
140
141
142
143
144
145
146
147
    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
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
71
72
73
74
75
76
77
78
79
80
81
    startTask( "classification" );
    kb.classify();
    finishTask( "classification" );
   
    startTask( "realization" );
    kb.realize();
    finishTask( "realization" );

    TaxonomyPrinter<ATermAppl> printer = new ClassTreePrinter();
    printer.print( kb.getTaxonomy() );
  }
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.