| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.stages | |
| org.semanticweb.elk.reasoner.taxonomy | |
| org.semanticweb.elk.reasoner.taxonomy.hashing | |
| org.semanticweb.elk.reasoner.taxonomy.model |
| Modifier and Type | Method and Description |
|---|---|
Taxonomy<ElkClass> |
AbstractReasonerState.getTaxonomy()
Compute the inferred taxonomy of the named classes for the given ontology
if it has not been done yet.
|
Taxonomy<ElkClass> |
AbstractReasonerState.getTaxonomyQuietly()
Compute the inferred taxonomy of the named classes for the given ontology
if it 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 |
ConcurrentClassTaxonomy
Class taxonomy that is suitable for concurrent processing.
|
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. |
class |
SingletoneTaxonomy<T extends ElkObject,N extends OrphanNode<T>>
A
Taxonomy consisting of a single node = top node = bottom node. |
| Modifier and Type | Method and Description |
|---|---|
static void |
TaxonomyPrinter.dumpClassTaxomomy(Taxonomy<ElkClass> taxonomy,
Writer writer,
boolean addHash)
Print the contents of the given
Taxonomy to the specified Writer. |
static void |
TaxonomyPrinter.dumpClassTaxomomyToFile(Taxonomy<ElkClass> taxonomy,
String fileName,
boolean addHash)
Convenience method for printing a
Taxonomy to a file at the given
location. |
static String |
TaxonomyPrinter.getHashString(Taxonomy<ElkClass> taxonomy)
Get a has string for the given
Taxonomy. |
protected static void |
TaxonomyPrinter.printDeclarations(Taxonomy<ElkClass> classTaxonomy,
ElkObjectFactory objectFactory,
Appendable writer)
Prints class declarations
|
protected static void |
TaxonomyPrinter.processTaxomomy(Taxonomy<ElkClass> classTaxonomy,
Appendable writer)
Process a taxonomy and write a normalized serialization.
|
| Modifier and Type | Method and Description |
|---|---|
static int |
TaxonomyHasher.hash(Taxonomy<? extends ElkEntity> taxonomy)
Compute the hash code of a taxonomy.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
InstanceTaxonomy<T extends ElkObject,I extends ElkObject>
Extended
Taxonomy that also provides instances for each of its
members. |
interface |
UpdateableInstanceTaxonomy<T extends ElkObject,I extends ElkObject> |
interface |
UpdateableTaxonomy<T extends ElkObject> |
| Modifier and Type | Field and Description |
|---|---|
protected Taxonomy<T> |
FreshTaxonomyNode.taxonomy |
| Constructor and Description |
|---|
FreshTaxonomyNode(T member,
Taxonomy<T> taxonomy) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.