Package | Description |
---|---|
org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
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) |
Copyright © 2020 The University of Manchester. All rights reserved.