| Package | Description |
|---|---|
| org.semanticweb.owlapi.reasoner | |
| org.semanticweb.owlapi.reasoner.structural |
| Modifier and Type | Class and Description |
|---|---|
class |
ConsoleProgressMonitor |
class |
NullReasonerProgressMonitor
An implementation of a progress monitor that does nothing when it receives
notification of progress events.
|
class |
TimedConsoleProgressMonitor |
| 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) |
| Modifier and Type | Field and Description |
|---|---|
protected ReasonerProgressMonitor |
StructuralReasoner.pm |
Copyright © 2014 The University of Manchester. All Rights Reserved.