org.semanticweb.elk.reasoner.taxonomy
Interface IndividualClassTaxonomy

All Superinterfaces:

InstanceTaxonomy<ElkClass,ElkNamedIndividual>, Taxonomy<ElkClass>, UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual>, UpdateableTaxonomy<ElkClass>

All Known Implementing Classes:

ConcurrentInstanceTaxonomy

public interface IndividualClassTaxonomy
extends UpdateableInstanceTaxonomy<ElkClass,ElkNamedIndividual>

A marker interface for taxonomy of classes and their instances (individuals).

Author:

Markus Kroetzsch, Pavel Klinov

Method Summary

Methods inherited from interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableInstanceTaxonomy

getCreateInstanceNode, getCreateTypeNode, getInstanceNode, getUpdateableTopNode, getUpdateableTypeNode, removeInstanceNode

Methods inherited from interface org.semanticweb.elk.reasoner.taxonomy.model.InstanceTaxonomy

getBottomNode, getInstanceNodes, getTopNode, getTypeNode, getTypeNodes

Methods inherited from interface org.semanticweb.elk.reasoner.taxonomy.model.UpdateableTaxonomy

addToBottomNode, getCreateNode, getUpdateableBottomNode, getUpdateableNode, getUpdateableNodes, removeNode

Methods inherited from interface org.semanticweb.elk.reasoner.taxonomy.model.Taxonomy

getNode, getNodes