Package org.semanticweb.owl.inference

Examples of org.semanticweb.owl.inference.OWLReasoner.dispose()

342
343
344
345
346
347
348
349
350
351
352
      cumulativeNumberOfDirectInstances += directIndividuals.size();
      cumulativeNumberOfIndirectInstances += (allIndividuals.size()-directIndividuals.size());
    }
   
    reasoner.clearOntologies();
    reasoner.dispose();
    manager.removeOntology(abox.getURI());
    manager.removeOntology(tbox.getURI());
    reasoner = null;
   
    time = classificationTime + instanceRetrievalTime;
View Full Code Here
616
617
618
619
620
621
622
623
624
625
626
        logger.info("");
       
        /* Remove approximated Tbox and Abox from reasoner */
        reasoner.unloadOntologies(Collections.singleton(approximatedTbox));
        reasoner.unloadOntologies(Collections.singleton(abox));
        reasoner.dispose();
        /* Remove Abox from manager */
        manager.removeOntology(abox.getURI());
        manager = null;
        reasoner = null;
       
View Full Code Here
362
363
364
365
366
367
368
369
370
371
372
      this.logger
          .info("============================================================================================================");

      reasoner.clearOntologies();
     
      reasoner.dispose();
      manager.removeOntology(abox.getURI());
      manager.removeOntology(tbox.getURI());
      reasoner = null;

      return result;
View Full Code Here
516
517
518
519
520
521
522
523
524
525
526
        }

        reasoner.unloadOntologies(Collections
            .singleton(approximatedTboxOntology));
        reasoner.unloadOntologies(Collections.singleton(aboxOntology));
        reasoner.dispose();
        manager.removeOntology(aboxOntology.getURI());
        manager = null;
        reasoner = null;
        runCounter++;
      } else
View Full Code Here
609
610
611
612
613
614
615
616
617
618
619
      cumulativeIndirectIndividualsCount += (allIndividuals.size() - directIndividuals
          .size());

    }
    reasoner.clearOntologies();
    reasoner.dispose();
    manager.removeOntology(tboxOntology.getURI());
    manager.removeOntology(aboxOntology.getURI());

    time = classificationTime + instanceRetrievalTime;
    RunResult result = new RunResult(allIndividualsCounts, time, classes
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.