Package org.mindswap.pellet.utils

Examples of org.mindswap.pellet.utils.Timer.stop()


      t.stop();
    }

    t = timers.startTimer( "rule-reteRun" );
    interpreter.run();
    t.stop();
   
    return interpreter.getBindings();
  }
 
 
View Full Code Here


            }
            catch (UnsupportedOperationException uoe) {
              throw new RuntimeException("Unsupported rule " + normalizedRule, uoe);
            }
    }
    t.stop();
   
    AlphaNetwork alphaNet = compiler.getAlphaNet();
    if (abox.doExplanation()) {
      alphaNet.setDoExplanation(true);
    }
View Full Code Here

   
    logger.info( "Creating structures" );
   
    Timer t = timers.startTimer( "createConcepts" );
    processAxioms();
    t.stop();
   
    logger.info( "Running rules" );
   
    MultiValueMap<ATermAppl, ATermAppl> subsumers = run( kb.getAllClasses() );
   
View Full Code Here

   
    logger.info( "Building hierarchy" );
   
    t = timers.startTimer( "buildHierarchy" );
    buildTaxonomy( subsumers );
    t.stop();
   
    monitor.setProgress( classes.size() );
    monitor.taskFinished();
   
    return true;
View Full Code Here

   
    Timer t = timers.startTimer( "createConcepts" );
    logger.fine( "Creating structures" );
    createConcepts();
    logger.fine( "Created structures" );
    t.stop();
   
    int queueSize =  primaryQueue.size();
    monitor.setProgressTitle( "Classifiying" );
    monitor.setProgressLength( queueSize );
    monitor.taskStarted();
View Full Code Here

    monitor.taskStarted();
   
    logger.fine( "Processing queue" );
    t = timers.startTimer( "processQueue" );
    processQueue();
    t.stop();
    logger.fine( "Processed queue" );

    if( logger.isLoggable( Level.FINER ) ) {
      print();
    }   
View Full Code Here

    logger.fine( "Building hierarchy" );
    t = timers.startTimer( "buildHierarchy" );
   
    taxonomy = new ELTaxonomyBuilder().build( concepts );
   
    t.stop();
    logger.fine( "Builded hierarchy" );

    monitor.taskFinished();
   
    return true;
View Full Code Here

   
        abox.setChanged( true );
        abox.setComplete( false );
        abox.setInitialized( true );

        t.stop();
       
    if(log.isLoggable( Level.FINE ))
      log.fine("Initialize Ended");
  }
    
View Full Code Here

    for( OWLOntology ontology : toBeLoaded )
      ontology.accept( visitor );
   
    visitor.verify();

    timer.stop();
  }

  private int load(OWLOntology ontology, boolean imported, Collection<OWLOntology> toBeLoaded) {
    // if not imported add it to notImported set
    if( !imported )
View Full Code Here

    checkTimer();

    if( !abox.doExplanation() && PelletOptions.USE_ADVANCED_CACHING ) {
      Timer t = abox.getKB().timers.startTimer( "cache" );
      Bool cachedSat = isCachedSat( x );
      t.stop();
      if( cachedSat.isKnown() ) {
        if( cachedSat.isTrue() ) {
          if( log.isLoggable( Level.FINE ) )
            log.fine( "Stop cached " + x );
          mayNeedExpanding.remove( 0 );
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.