Package com.clarkparsia.pellet.owlapiv3

Examples of com.clarkparsia.pellet.owlapiv3.PelletReasoner.dispose()

320
321
322
323
324
325
326
327
328
329
330
      for( OWLAxiom axiom : explanation ) {
        if( log.isLoggable( Level.FINER ) )
          log.finer( "Try pruning " + axiom );
       
        if( !incremental) {
          reasoner.dispose();
        }
       
        OntologyUtils.removeAxioms( debuggingOntology, axiom );
       
        if( !incremental) {
View Full Code Here
347
348
349
350
351
352
353
354
355
356
357
        }
      }
     
      if( incremental ) {
        // remove the listener and the ontology to avoid memory leaks
        reasoner.dispose();
      }
     
      OWL.manager.removeOntology( debuggingOntology );
      OWL.manager.removeOntologyChangeListener( defTracker );     
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
      assertTrue( modular3.isRealized() );
     
      assertInstancesEquals( unified, modular3 );
      assertTypesEquals( unified, modular3 );
     
      unified.dispose();
      modular.dispose();
      modular2.dispose();
      modular3.dispose();
    }
    finally {
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
      assertClassificationEquals( unified, modular2 );

      assertTrue( testFile.delete() );
     
      unified.dispose();
      modular.dispose();
      modular2.dispose();
    }
    finally {
      OWL.manager.removeOntology( ontology );
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
      assertTrue( modular3.isRealized() );
     
      assertInstancesEquals( unified, modular3 );
      assertTypesEquals( unified, modular3 );
     
      unified.dispose();
      modular.dispose();
      modular2.dispose();
      modular3.dispose();
    }
    finally {
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
    PelletReasoner reasoner = PelletReasonerFactory.getInstance().createReasoner( ont ) ;
    try {
      testOWL2Reasoner( ns, reasoner );
    }
    finally {
      reasoner.dispose();
    }
  }
 
  @Test
  public void testOWL2Incremental() throws OWLException {
View Full Code Here
485
486
487
488
489
490
491
492
493
494
495
          reasoner.getKB().realize();
         
          testFamily( ns, reasoner );
        }
        finally {
        reasoner.dispose();
        }
  }
 
  @Test
  public void testFamilyIncremental() {
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.