elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
public synchronized InstanceTaxonomy<ElkClass, ElkNamedIndividual> getInstanceTaxonomyQuietly()
			throws ElkException {

		InstanceTaxonomy<ElkClass, ElkNamedIndividual> result;

		try {
			result = getInstanceTaxonomy();
		} catch (ElkInconsistentOntologyException e) {
			LOGGER_.debug("Ontology is inconsistent");
			result = new SingletoneInstanceTaxonomy<ElkClass, ElkNamedIndividual, OrphanTypeNode<ElkClass, ElkNamedIndividual>>(
					ElkClassKeyProvider.INSTANCE, getAllClasses(),
					new TaxonomyNodeFactory<ElkClass, OrphanTypeNode<ElkClass, ElkNamedIndividual>, Taxonomy<ElkClass>>() {
						@Override
						public OrphanTypeNode<ElkClass, ElkNamedIndividual> createNode(
								final Iterable<? extends ElkClass> members,
								final int size,
								final Taxonomy<ElkClass> taxonomy) {
							final OrphanTypeNode<ElkClass, ElkNamedIndividual> node = new OrphanTypeNode<ElkClass, ElkNamedIndividual>(
									members, size, elkFactory_.getOwlNothing(),
									taxonomy, 1);
							final Set<ElkNamedIndividual> allNamedIndividuals = getAllNamedIndividuals();
							final Iterator<ElkNamedIndividual> namedIndividualIterator = allNamedIndividuals
									.iterator();
							if (namedIndividualIterator.hasNext()) {
								// there is at least one individual
								node.addInstanceNode(
										new OrphanInstanceNode<ElkClass, ElkNamedIndividual>(
												allNamedIndividuals,
												allNamedIndividuals.size(),
												namedIndividualIterator.next(),
												ElkIndividualKeyProvider.INSTANCE,
												node));
							}
							return node;
						}
					}, ElkIndividualKeyProvider.INSTANCE);
		}

		return result;
	}
public synchronized InstanceTaxonomy<ElkClass, ElkNamedIndividual> getInstanceTaxonomyQuietly()
			throws ElkException {

		InstanceTaxonomy<ElkClass, ElkNamedIndividual> result;

		try {
			result = getInstanceTaxonomy();
		} catch (ElkInconsistentOntologyException e) {
			LOGGER_.debug("Ontology is inconsistent");
			result = new SingletoneInstanceTaxonomy<ElkClass, ElkNamedIndividual, OrphanTypeNode<ElkClass, ElkNamedIndividual>>(
					ElkClassKeyProvider.INSTANCE, getAllClasses(),
					new TaxonomyNodeFactory<ElkClass, OrphanTypeNode<ElkClass, ElkNamedIndividual>, Taxonomy<ElkClass>>() {
						@Override
						public OrphanTypeNode<ElkClass, ElkNamedIndividual> createNode(
								final Iterable<? extends ElkClass> members,
								final int size,
								final Taxonomy<ElkClass> taxonomy) {
							final OrphanTypeNode<ElkClass, ElkNamedIndividual> node = new OrphanTypeNode<ElkClass, ElkNamedIndividual>(
									members, size, elkFactory_.getOwlNothing(),
									taxonomy, 1);
							final Set<ElkNamedIndividual> allNamedIndividuals = getAllNamedIndividuals();
							final Iterator<ElkNamedIndividual> namedIndividualIterator = allNamedIndividuals
									.iterator();
							if (namedIndividualIterator.hasNext()) {
								// there is at least one individual
								node.addInstanceNode(
										new OrphanInstanceNode<ElkClass, ElkNamedIndividual>(
												allNamedIndividuals,
												allNamedIndividuals.size(),
												namedIndividualIterator.next(),
												ElkIndividualKeyProvider.INSTANCE,
												node));
							}
							return node;
						}
					}, ElkIndividualKeyProvider.INSTANCE);
		}

		return result;
	}
public synchronized InstanceTaxonomy < ElkClass , ElkNamedIndividual > getInstanceTaxonomyQuietly ( ) throws ElkException { InstanceTaxonomy < ElkClass , ElkNamedIndividual > result ; try { result = getInstanceTaxonomy ( ) ; } catch ( ElkInconsistentOntologyException e ) { LOGGER_ . debug ( "Ontology is inconsistent" ) ; result = new SingletoneInstanceTaxonomy < ElkClass , ElkNamedIndividual , OrphanTypeNode < ElkClass , ElkNamedIndividual > > ( ElkClassKeyProvider . INSTANCE , getAllClasses ( ) , new TaxonomyNodeFactory < ElkClass , OrphanTypeNode < ElkClass , ElkNamedIndividual > , Taxonomy < ElkClass > > ( ) { @ Override public OrphanTypeNode < ElkClass , ElkNamedIndividual > createNode ( final Iterable < ? extends ElkClass > members , final int size , final Taxonomy < ElkClass > taxonomy ) { final OrphanTypeNode < ElkClass , ElkNamedIndividual > node = new OrphanTypeNode < ElkClass , ElkNamedIndividual > ( members , size , elkFactory_ . getOwlNothing ( ) , taxonomy , 1 ) ; final Set < ElkNamedIndividual > allNamedIndividuals = getAllNamedIndividuals ( ) ; final Iterator < ElkNamedIndividual > namedIndividualIterator = allNamedIndividuals . iterator ( ) ; if ( namedIndividualIterator . hasNext ( ) ) { // there is at least one individual node . addInstanceNode ( new OrphanInstanceNode < ElkClass , ElkNamedIndividual > ( allNamedIndividuals , allNamedIndividuals . size ( ) , namedIndividualIterator . next ( ) , ElkIndividualKeyProvider . INSTANCE , node ) ) ; } return node ; } } , ElkIndividualKeyProvider . INSTANCE ) ; } return result ; }
Compute the inferred taxonomy of the named classes with instances if this
has not been done yet.

@return the instance taxonomy implied by the current ontology
@throws ElkException
if the reasoning process cannot be completed successfully
Compute the inferred taxonomy of the named classes with instances if this has not been done yet .