Package org.mindswap.pellet.utils

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


      changes.remove(ChangeType.RBOX_DEL);
      changes.remove(ChangeType.TBOX_DEL);

    }

    timer.stop();

    return effects;
  }

  public Timers getTimers() {
View Full Code Here


    Timer timer = new Timer( "CombinedQueryEngine" );
    timer.start();
    prepare( query );
    branches = 0;
    exec( new ResultBindingImpl() );
    timer.stop();

    if( log.isLoggable( Level.FINE ) ) {
      log.log( Level.FINE, "#B=" + branches + ", time=" + timer.getLast() + " ms." );
    }
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

    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

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

    incClassifyAllModStrategy();
   
    timer.stop();

    if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Incremental classification done" );
        }
  }
View Full Code Here

            public void run() {
        // classify ontology
        Timer timer = timers.startTimer( "reasonerClassify" );
        reasoner.flush();
        reasoner.getKB().classify();
        timer.stop();

        if( log.isLoggable( Level.FINE ) ) {
          log.fine( "Regular taxonomy:" );

          new TreeTaxonomyPrinter<ATermAppl>().print( reasoner.getKB().getTaxonomy(), new PrintWriter( System.err ) );
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.