Package org.mindswap.pellet

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

251
252
253
254
255
256
257
258
259
260
261
    }

    if( realize ) {
      t = timers.startTimer( "realize" );

      kb.realize();

      t.stop();
    }

    return kb;
View Full Code Here
361
362
363
364
365
366
367
368
369
370
371
      case Classify:
        kb.classify();
        break;

      case Realize:
        kb.realize();
        break;

      default:
        throw new AssertionError( "This task does not exist: " + task );
      }
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
    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
478
479
480
481
482
483
484
485
486
487
488
    KnowledgeBase kb = reasoner.getKB();

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

      assertTrue( reasoner.isTransitive( hasAncestor ) );
      assertFalse( reasoner.isFunctional( hasAncestor ) );

      assertTrue( reasoner.isTransitive( hasDescendant ) );
View Full Code Here
955
956
957
958
959
960
961
962
963
964
965
    kb.classify();

    kb.getTaxonomyBuilder().setProgressMonitor( monitor );

    kb.realize();

    assertFalse( kb.isRealized() );
  }

  @Test
View Full Code Here
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
    assertFalse( timeout );
    assertTrue( kb.isClassified() );

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

    assertTrue( timeout );
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
    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
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
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
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.