|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of OntologyIndex in org.semanticweb.elk.reasoner.consistency |
|---|
| Methods in org.semanticweb.elk.reasoner.consistency with parameters of type OntologyIndex | |
|---|---|
static Collection<IndexedClassEntity> |
ConsistencyChecking.getTestEntities(OntologyIndex ontologyIndex)
|
| Constructors in org.semanticweb.elk.reasoner.consistency with parameters of type OntologyIndex | |
|---|---|
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 | |
|---|---|
interface |
ModifiableOntologyIndex
Common methods for constructing an OntologyIndex. |
| Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement OntologyIndex | |
|---|---|
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 | |
|---|---|
OntologyIndex |
SaturationState.getOntologyIndex()
|
| Methods in org.semanticweb.elk.reasoner.saturation with parameters of type OntologyIndex | |
|---|---|
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 | |
|---|---|
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 | |
|---|---|
protected OntologyIndex |
AbstractReasonerState.getOntologyIndex()
Compute the index representation of the given ontology if it has not been done yet. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||