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);
	}
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