| Modifier and Type | Class and Description |
|---|---|
class |
DummyProgressMonitor
A progress monitor that does nothing.
|
| Modifier and Type | Field and Description |
|---|---|
protected ProgressMonitor |
Reasoner.progressMonitor
The progress monitor that is used for reporting progress.
|
protected ProgressMonitor |
ReasonerComputation.progressMonitor
the progress monitor used to report the progress of this computation
|
| Modifier and Type | Method and Description |
|---|---|
protected ProgressMonitor |
Reasoner.getProgressMonitor() |
| Modifier and Type | Method and Description |
|---|---|
void |
Reasoner.setProgressMonitor(ProgressMonitor progressMonitor)
Set the progress monitor that will be used for reporting progress on all
potentially long-running operations.
|
| Constructor and Description |
|---|
ReasonerComputation(Collection<? extends I> inputs,
F inputProcessorFactory,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor) |
| Constructor and Description |
|---|
ConsistencyChecking(Collection<IndexedClassEntity> inputEntities,
org.semanticweb.elk.reasoner.consistency.ConsistencyChecking.ConsistencyMonitor consistencyMonitor,
SaturationState saturationState,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor)
Constructing the object for checking if all given entities are
consistent.
|
ConsistencyChecking(ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
OntologyIndex ontologyIndex,
SaturationState saturationState)
Constructing the object for checking if the given ontology is consistent
|
| Constructor and Description |
|---|
IncrementalChangesInitialization(Collection<ArrayList<Context>> inputs,
ChainableRule<Context> changedGlobalRules,
Map<IndexedClassExpression,ChainableRule<Context>> changes,
SaturationState state,
ComputationExecutor executor,
SaturationStatistics stageStats,
int maxWorkers,
ProgressMonitor progressMonitor) |
| Constructor and Description |
|---|
ClassExpressionNoInputSaturation(ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
RuleApplicationFactory ruleAppFactory,
ContextModificationListener contextModificationListener) |
ClassExpressionSaturation(Collection<I> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
RuleApplicationFactory ruleAppFactory) |
ClassExpressionSaturation(Collection<I> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState) |
ClassExpressionSaturation(Collection<I> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState,
ClassExpressionSaturationListener<SaturationJob<I>> listener) |
| Constructor and Description |
|---|
PropertyHierarchyCompositionComputation(OntologyIndex ontIndex,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor) |
ReflexivePropertyComputation(OntologyIndex ontIndex,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract ProgressMonitor |
AbstractReasonerState.getProgressMonitor() |
| Constructor and Description |
|---|
ClassTaxonomyComputation(Collection<? extends Collection<IndexedClass>> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState,
UpdateableTaxonomy<ElkClass> partialTaxonomy) |
InstanceTaxonomyComputation(Collection<IndexedIndividual> inputs,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor,
SaturationState saturationState,
UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual> partialTaxonomy) |
TaxonomyCleaning(Collection<IndexedClassEntity> inputs,
ClassTaxonomyState classTaxonomyState,
InstanceTaxonomyState instanceTaxonomyState,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.