| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.taxonomy.model |
| Modifier and Type | Class and Description |
|---|---|
class |
FreshInstanceNode<T extends ElkObject,I extends ElkObject>
A fresh InstanceNode containing an object that does not occur in a taxonomy.
|
class |
FreshTaxonomyNode<T extends ElkObject>
A fresh TaxonomyNode containing an object that does not occur in a taxonomy.
|
class |
FreshTypeNode<T extends ElkObject,I extends ElkObject>
A fresh TypeNode containing an object that does not occur in a taxonomy.
|
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.