org.semanticweb.elk.reasoner.taxonomy
Class InstanceTaxonomyComputation

java.lang.Object
  org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>
      org.semanticweb.elk.reasoner.ReasonerComputation<IndexedIndividual,InstanceTaxonomyComputationFactory>
          org.semanticweb.elk.reasoner.taxonomy.InstanceTaxonomyComputation

public class InstanceTaxonomyComputation
extends ReasonerComputation<IndexedIndividual,InstanceTaxonomyComputationFactory>

Computing taxonomy relations between named individuals and atomic classes of the ontology.

Author:

Frantisek Simancik, Yevgeny Kazakov

Field Summary

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

progressMonitor, todo

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

buffer, executor, finishRequested, inputProcessorFactory, interrupted, maxWorkers, worker

Constructor Summary

InstanceTaxonomyComputation(Collection<IndexedIndividual> inputs, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, SaturationState saturationState, UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual> partialTaxonomy)

Method Summary

UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual>	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, interrupt, start, submit

Methods inherited from class java.lang.Object

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

Constructor Detail

InstanceTaxonomyComputation

public InstanceTaxonomyComputation(Collection<IndexedIndividual> inputs,
                                   ComputationExecutor executor,
                                   int maxWorkers,
                                   ProgressMonitor progressMonitor,
                                   SaturationState saturationState,
                                   UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual> partialTaxonomy)

Method Detail

getTaxonomy

public UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual> 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