elk-owlapi-parent/elk-owlapi4/src/main/java/org/semanticweb/elk/owlapi/ElkReasoner.java
@Override
	public void dispose() {
		LOGGER_.trace("dispose()");

		owlOntologymanager_
				.removeOntologyChangeListener(ontologyChangeListener_);
		owlOntologymanager_.removeOntologyChangeProgessListener(
				ontologyChangeProgressListener_);
		try {
			for (;;) {
				try {
					if (!reasoner_.shutdown())
						throw new ReasonerInternalException(
								"Failed to shut down ELK!");
					break;
				} catch (InterruptedException e) {
					continue;
				}
			}
		} catch (ElkRuntimeException e) {
			throw elkConverter_.convert(e);
		}
	}
@Override
	public void dispose() {
		LOGGER_.trace("dispose()");

		owlOntologymanager_
				.removeOntologyChangeListener(ontologyChangeListener_);
		owlOntologymanager_.removeOntologyChangeProgessListener(
				ontologyChangeProgressListener_);
		try {
			for (;;) {
				try {
					if (!reasoner_.shutdown())
						throw new ReasonerInternalException(
								"Failed to shut down ELK!");
					break;
				} catch (InterruptedException e) {
					continue;
				}
			}
		} catch (ElkRuntimeException e) {
			throw elkConverter_.convert(e);
		}
	}
@ Override public void dispose ( ) { LOGGER_ . trace ( "dispose()" ) ; owlOntologymanager_ . removeOntologyChangeListener ( ontologyChangeListener_ ) ; owlOntologymanager_ . removeOntologyChangeProgessListener ( ontologyChangeProgressListener_ ) ; try { for ( ; ; ) { try { if ( ! reasoner_ . shutdown ( ) ) throw new ReasonerInternalException ( "Failed to shut down ELK!" ) ; break ; } catch ( InterruptedException e ) { continue ; } } } catch ( ElkRuntimeException e ) { throw elkConverter_ . convert ( e ) ; } }
/* Methods required by the OWLReasoner interface
/ * Methods required by the OWLReasoner interface