Uses of Interface
org.semanticweb.elk.reasoner.indexing.OntologyIndex

Packages that use OntologyIndex

Package	Description
org.semanticweb.elk.reasoner.consistency
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.properties
org.semanticweb.elk.reasoner.stages

Uses of OntologyIndex in org.semanticweb.elk.reasoner.consistency

Methods in org.semanticweb.elk.reasoner.consistency with parameters of type OntologyIndex

Modifier and Type	Method and Description
static Collection<IndexedClassEntity>	ConsistencyChecking.getTestEntities(OntologyIndex ontologyIndex)

Constructors in org.semanticweb.elk.reasoner.consistency with parameters of type OntologyIndex

Constructor and Description
ConsistencyChecking(ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor, OntologyIndex ontologyIndex, SaturationState saturationState) Constructing the object for checking if the given ontology is consistent

Uses of OntologyIndex in org.semanticweb.elk.reasoner.indexing.hierarchy

Subinterfaces of OntologyIndex in org.semanticweb.elk.reasoner.indexing.hierarchy

Modifier and Type	Interface and Description
interface	ModifiableOntologyIndex Common methods for constructing an OntologyIndex.

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement OntologyIndex

Modifier and Type	Class and Description
class	DifferentialIndex An object representing incremental changes in the index.
class	DirectIndex

Uses of OntologyIndex in org.semanticweb.elk.reasoner.saturation

Methods in org.semanticweb.elk.reasoner.saturation that return OntologyIndex

Modifier and Type	Method and Description
OntologyIndex	SaturationState.getOntologyIndex()

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type OntologyIndex

Modifier and Type	Method and Description
static SaturationState	SaturationStateFactory.createSaturationState(OntologyIndex ontologyIndex) Creates a new instance of SaturationStateImpl
static void	SaturationUtils.initContext(Context context, BasicSaturationStateWriter writer, OntologyIndex index, RuleApplicationVisitor ruleAppVisitor) Applies all initialization rules to the context

Uses of OntologyIndex in org.semanticweb.elk.reasoner.saturation.properties

Constructors in org.semanticweb.elk.reasoner.saturation.properties with parameters of type OntologyIndex

Constructor and Description
PropertyHierarchyCompositionComputation(OntologyIndex ontIndex, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor)
ReflexivePropertyComputation(OntologyIndex ontIndex, ComputationExecutor executor, int maxWorkers, ProgressMonitor progressMonitor)

Uses of OntologyIndex in org.semanticweb.elk.reasoner.stages

Methods in org.semanticweb.elk.reasoner.stages that return OntologyIndex

Modifier and Type	Method and Description
protected OntologyIndex	AbstractReasonerState.getOntologyIndex() Compute the index representation of the given ontology if it has not been done yet.