elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/Reasoner.java
protected TypeNode<ElkClass, ElkNamedIndividual> getTypeNode(
			ElkClass elkClass) throws ElkException {
		final InstanceTaxonomy<ElkClass, ElkNamedIndividual> instanceTaxonomy = getInstanceTaxonomy();
		final TypeNode<ElkClass, ElkNamedIndividual> node = instanceTaxonomy
				.getNode(elkClass);
		if (node != null)
			return node;
		// else
		if (allowFreshEntities)
			return new FreshTypeNode<ElkClass, ElkNamedIndividual>(elkClass,
					instanceTaxonomy);
		// else
		throw new ElkFreshEntitiesException(elkClass);
	}
protected TypeNode<ElkClass, ElkNamedIndividual> getTypeNode(
			ElkClass elkClass) throws ElkException {
		final InstanceTaxonomy<ElkClass, ElkNamedIndividual> instanceTaxonomy = getInstanceTaxonomy();
		final TypeNode<ElkClass, ElkNamedIndividual> node = instanceTaxonomy
				.getNode(elkClass);
		if (node != null)
			return node;
		// else
		if (allowFreshEntities)
			return new FreshTypeNode<ElkClass, ElkNamedIndividual>(elkClass,
					instanceTaxonomy);
		// else
		throw new ElkFreshEntitiesException(elkClass);
	}
protected TypeNode < ElkClass , ElkNamedIndividual > getTypeNode ( ElkClass elkClass ) throws ElkException { final InstanceTaxonomy < ElkClass , ElkNamedIndividual > instanceTaxonomy = getInstanceTaxonomy ( ) ; final TypeNode < ElkClass , ElkNamedIndividual > node = instanceTaxonomy . getNode ( elkClass ) ; if ( node != null ) return node ; // else if ( allowFreshEntities ) return new FreshTypeNode < ElkClass , ElkNamedIndividual > ( elkClass , instanceTaxonomy ) ; // else throw new ElkFreshEntitiesException ( elkClass ) ; }
Helper method to get a {@link TypeNode} from the taxonomy.

@param elkClass
@return the {@link TypeNode} for the given {@link ElkClass}
@throws ElkException
if the result cannot be computed
Helper method to get a { @link TypeNode } from the taxonomy .