| Package | Description |
|---|---|
| org.semanticweb.owlapi.reasoner |
| Modifier and Type | Class and Description |
|---|---|
class |
ConsoleProgressMonitor
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 05-Jan-2010 |
class |
NullReasonerProgressMonitor
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 29-Nov-2009 An implementation of a progress monitor that does nothing when it receives notification of progress events. |
class |
TimedConsoleProgressMonitor
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 05-Jan-2010 |
| Modifier and Type | Method and Description |
|---|---|
ReasonerProgressMonitor |
SimpleConfiguration.getProgressMonitor() |
ReasonerProgressMonitor |
OWLReasonerConfiguration.getProgressMonitor()
Gets a progress monitor that the reasoner may update with information about the progress of its reasoning
process.
|
| Constructor and Description |
|---|
SimpleConfiguration(ReasonerProgressMonitor progressMonitor) |
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
FreshEntityPolicy freshEntityPolicy,
long timeOut,
IndividualNodeSetPolicy individualNodeSetPolicy) |
SimpleConfiguration(ReasonerProgressMonitor progressMonitor,
long timeOut) |
Copyright © 2013 The University of Manchester. All Rights Reserved.