org.semanticweb.elk.reasoner.consistency

Class ConsistencyChecking

java.lang.Object

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

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

All Implemented Interfaces:

Interrupter

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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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, 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

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