org.semanticweb.elk.reasoner.taxonomy

Class ClassTaxonomyComputation

java.lang.Object

org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>

org.semanticweb.elk.reasoner.ReasonerComputation<Collection<IndexedClass>,ClassTaxonomyComputationFactory>

org.semanticweb.elk.reasoner.taxonomy.ClassTaxonomyComputation

All Implemented Interfaces:

Interrupter

public class ClassTaxonomyComputation
extends ReasonerComputation<Collection<IndexedClass>,ClassTaxonomyComputationFactory>

Computing taxonomy relations between atomic classes of the ontology.

Author:

Frantisek Simancik, Yevgeny Kazakov

Field Summary

Fields inherited from class org.semanticweb.elk.reasoner.ReasonerComputation

progressMonitor, todo

Constructor Summary

Constructors

Constructor and Description
ClassTaxonomyComputation(Collection<? extends Collection<IndexedClass>> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, SaturationState saturationState, UpdateableTaxonomy<ElkClass> partialTaxonomy)

Method Summary

Methods

Modifier and Type	Method and Description
SaturationStatistics	getRuleAndConclusionStatistics()
UpdateableTaxonomy<ElkClass>	getTaxonomy()
void	printStatistics() Print statistics about taxonomy computation

Methods inherited from class org.semanticweb.elk.reasoner.ReasonerComputation

process

Methods inherited from class org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation

finish, getInputProcessorFactory, setInterrupt, start, submit, waitWorkers

Methods inherited from class org.semanticweb.elk.util.concurrent.computation.SimpleInterrupter

isInterrupted

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClassTaxonomyComputation

public ClassTaxonomyComputation(Collection<? extends Collection<IndexedClass>> inputs,
                        ComputationExecutor executor,
                        int maxWorkers,
                        ProgressMonitor progressMonitor,
                        SaturationState saturationState,
                        UpdateableTaxonomy<ElkClass> partialTaxonomy)

Method Detail

getTaxonomy

public UpdateableTaxonomy<ElkClass> getTaxonomy()

Returns:

the taxonomy computed by this computation; the method ReasonerComputation.process() should be called first to compute the taxonomy

printStatistics

public void printStatistics()

Print statistics about taxonomy computation

getRuleAndConclusionStatistics

public SaturationStatistics getRuleAndConclusionStatistics()