Package org.mindswap.pellet.utils

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


    Timer timer = timers.startTimer( "realize" );

    // This is false if the progress monitor is canceled
    boolean isRealized = builder.realize();

    timer.stop();

    if( !isRealized )
      return;

    state.add( ReasoningState.REALIZE );
View Full Code Here


        }
      }

    }

    timer.stop();

    Set<ATermAppl> result = Collections.unmodifiableSet( new HashSet<ATermAppl>( knowns ) );

    if( PelletOptions.CACHE_RETRIEVAL )
      instances.put( c, result );
View Full Code Here

    if( isRBoxChanged() ) {
      if( log.isLoggable( Level.FINER ) )
        log.finer( "Role hierarchy..." );
      t = timers.startTimer( "rbox" );
      rbox.prepare();
      t.stop();
    }

    if( isTBoxChanged() ) {
      if( log.isLoggable( Level.FINER ) )
        log.finer( "Prepare TBox..." );
View Full Code Here

    if( isTBoxChanged() ) {
      if( log.isLoggable( Level.FINER ) )
        log.finer( "Prepare TBox..." );
      t = timers.startTimer( "normalize" );
      tbox.prepare();
      t.stop();
    }

    if( isRBoxChanged() ) {
      rbox.propagateDomainRange();
    }
View Full Code Here

   
    abox.setDoExplanation( doExplanation );
   
    state.add( ReasoningState.CONSISTENCY );
   
    timer.stop();
   
    if ( log.isLoggable( Level.FINE ) ) {
      log.fine( "Consistent: " + consistent + " (" + timer.getLast() + "ms)" );
    }
View Full Code Here

    builder = getTaxonomyBuilder();

    boolean isClassified = builder.classify();

    timer.stop();

    if( !isClassified )
      return;

    state.add( ReasoningState.CLASSIFY );
View Full Code Here

   
    visitor.verify();

    monitor.taskFinished();

    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

   
    processUntypedResources();

    monitor.taskFinished();

    timer.stop();
  }

  /**
   * {@inheritDoc}
   */
 
View Full Code Here

    timers.startTimer( task );   
 
 
  protected void finishTask(String task) {
    Timer timer = timers.getTimer( task );
    timer.stop();
    verbose( "Finished " + task + " in " + timer.format() );
  }
}
View Full Code Here

    if( PelletOptions.ALWAYS_REBUILD_RETE ) {
      t = timers.startTimer( "rule-rebuildRete" );
      interpreter.reset();
      interpreter.rete.compileFacts( abox );
      partialBindings.clear();
      t.stop();
    }

    if( !interpreter.isDirty() )
      return;
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.