org.semanticweb.elk.reasoner.consistency
Class ConsistencyChecking

java.lang.Object
  org.semanticweb.elk.util.concurrent.computation.ConcurrentComputation<I,F>
      org.semanticweb.elk.reasoner.ReasonerComputation<SaturationJob<IndexedClassEntity>,ClassExpressionSaturationFactory<SaturationJob<IndexedClassEntity>>>
          org.semanticweb.elk.reasoner.consistency.ConsistencyChecking

public class ConsistencyChecking
extends ReasonerComputation<SaturationJob<IndexedClassEntity>,ClassExpressionSaturationFactory<SaturationJob<IndexedClassEntity>>>

A ReasonerComputation for checking consistency of the ontology. This is done by checking consistency of owl:Thing and of all individuals occurring in 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

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

Method Summary

SaturationStatistics	getRuleAndConclusionStatistics()
static Collection<IndexedClassEntity>	getTestEntities(OntologyIndex ontologyIndex)
boolean	isInconsistent()
void	printStatistics() Print statistics about consistency checking
void	process() Process the given input concurrently using the provided input processor.

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

ConsistencyChecking

public 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.

Parameters:

inputEntities - the entities to check for consistency

consistencyMonitor - the monitor for the consistency status

executor - the executor service used for running the tasks by the reasoner

maxWorkers - the maximum number of workers that can be used

progressMonitor - the monitor for reporting the progress of the computation

ConsistencyChecking

public ConsistencyChecking(ComputationExecutor executor,
                           int maxWorkers,
                           ProgressMonitor progressMonitor,
                           OntologyIndex ontologyIndex,
                           SaturationState saturationState)

Constructing the object for checking if the given ontology is consistent

Parameters:

executor - the executor service used for running the tasks by the reasoner

maxWorkers - the maximum number of workers that can be used

progressMonitor - the monitor for reporting the progress of the computation

ontologyIndex - the indexed representation of the ontology

Method Detail

getRuleAndConclusionStatistics

public SaturationStatistics getRuleAndConclusionStatistics()

getTestEntities

public static Collection<IndexedClassEntity> getTestEntities(OntologyIndex ontologyIndex)

Parameters:

ontologyIndex - the representation of the ontology

Returns:

the entities such that the ontology is consistent if and only if all of these entities are consistent

process

public void process()

Description copied from class: ReasonerComputation

Process the given input concurrently using the provided input processor. If the process has been interrupted, this method can be called again to continue the computation.

Overrides:

process in class ReasonerComputation<SaturationJob<IndexedClassEntity>,ClassExpressionSaturationFactory<SaturationJob<IndexedClassEntity>>>

isInconsistent

public boolean isInconsistent()

Returns:

true if the ontology is inconsistent; should be called after the consistency checking is performed using the method process()

printStatistics

public void printStatistics()

Print statistics about consistency checking