Package org.mindswap.pellet.utils.progress

Examples of org.mindswap.pellet.utils.progress.ProgressMonitor.taskStarted()

209
210
211
212
213
214
215
216
217
218
219
      axiomCount += load( ontology, false, toBeLoaded );

    ProgressMonitor monitor = new SilentProgressMonitor();
    monitor.setProgressTitle( "Loading" );
    monitor.setProgressLength( axiomCount );
    monitor.taskStarted();

    visitor.reset();
    visitor.setAddAxiom( true );
    visitor.setMonitor( monitor );
View Full Code Here
272
273
274
275
276
277
278
279
280
281
282
    log.fine( "Extract module for " + entities );

    ProgressMonitor monitor = new ConsoleProgressMonitor();
    monitor.setProgressTitle( "Extracting" );
    monitor.setProgressLength( entities.size() );
    monitor.taskStarted();
   
    Set<OWLEntity> nonLocalModule = new HashSet<OWLEntity>();
    for( OWLAxiom axiom : getAxioms() ) {
      if( !isLocal( axiom, Collections.<OWLEntity> emptySet() ) )
        nonLocalModule.addAll( OntologyUtils.getSignature( axiom ) );
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
    ProgressMonitor monitor = PelletOptions.USE_CLASSIFICATION_MONITOR.create();
    monitor.setProgressTitle( "Finding unsatisfiable" );
    monitor.setProgressLength( kb.getClasses().size() );
   
    startTask( "find unsatisfiable" );
    monitor.taskStarted();
   
    Iterator<ATermAppl> i = kb.getClasses().iterator();
    while( i.hasNext() ) {
      monitor.incrementProgress();
      ATermAppl c = i.next();
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.