| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.consistency | |
| org.semanticweb.elk.reasoner.indexing.hierarchy | |
| org.semanticweb.elk.reasoner.taxonomy |
| Modifier and Type | Method and Description |
|---|---|
static Collection<IndexedClassEntity> |
ConsistencyChecking.getTestEntities(OntologyIndex ontologyIndex) |
| 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.
|
| Modifier and Type | Class and Description |
|---|---|
class |
IndexedClass
Represents all occurrences of an
ElkClass in an ontology. |
class |
IndexedIndividual
Represents all occurrences of an
ElkIndividual in an ontology. |
| Constructor and Description |
|---|
TaxonomyCleaning(Collection<IndexedClassEntity> inputs,
ClassTaxonomyState classTaxonomyState,
InstanceTaxonomyState instanceTaxonomyState,
ComputationExecutor executor,
int maxWorkers,
ProgressMonitor progressMonitor) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.