| Modifier and Type | Method and Description |
|---|---|
InstanceTaxonomy<ElkClass,ElkNamedIndividual> |
AbstractReasonerState.getInstanceTaxonomy()
Compute the inferred taxonomy of the named classes with instances if this
has not been done yet.
|
InstanceTaxonomy<ElkClass,ElkNamedIndividual> |
AbstractReasonerState.getInstanceTaxonomyQuietly()
Compute the inferred taxonomy of the named classes with instances if this
has not been done yet.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
IndividualClassTaxonomy
A marker interface for taxonomy of classes and their instances (individuals).
|
| Modifier and Type | Class and Description |
|---|---|
class |
ConcurrentInstanceTaxonomy
Class taxonomy that is suitable for concurrent processing.
|
class |
SingletoneInstanceTaxonomy<T extends ElkObject,I extends ElkObject,N extends OrphanTypeNode<T,I>>
An
InstanceTaxonomy consisting of a single TypeNode = top
node = bottom node, which has a single InstanceNode. |
| Modifier and Type | Method and Description |
|---|---|
static void |
TaxonomyPrinter.dumpInstanceTaxomomy(InstanceTaxonomy<ElkClass,ElkNamedIndividual> taxonomy,
Writer writer,
boolean addHash)
Print the contents of the given
InstanceTaxonomy to the specified
Writer. |
static void |
TaxonomyPrinter.dumpInstanceTaxomomyToFile(InstanceTaxonomy<ElkClass,ElkNamedIndividual> taxonomy,
String fileName,
boolean addHash)
Convenience method for printing an
InstanceTaxonomy to a file at
the given location. |
static String |
TaxonomyPrinter.getInstanceHashString(InstanceTaxonomy<ElkClass,ElkNamedIndividual> taxonomy) |
protected static void |
TaxonomyPrinter.processInstanceTaxomomy(InstanceTaxonomy<ElkClass,ElkNamedIndividual> taxonomy,
Writer writer) |
| Modifier and Type | Method and Description |
|---|---|
static int |
InstanceTaxonomyHasher.hash(InstanceTaxonomy<? extends ElkEntity,? extends ElkEntity> taxonomy)
Compute the hash code of a taxonomy.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
UpdateableInstanceTaxonomy<T extends ElkObject,I extends ElkObject> |
| Modifier and Type | Field and Description |
|---|---|
protected InstanceTaxonomy<T,I> |
FreshTypeNode.taxonomy |
protected InstanceTaxonomy<T,I> |
FreshInstanceNode.taxonomy |
| Constructor and Description |
|---|
FreshInstanceNode(I member,
InstanceTaxonomy<T,I> taxonomy) |
FreshTypeNode(T member,
InstanceTaxonomy<T,I> taxonomy) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.