elk-owlapi-parent/elk-owlapi4/src/main/java/org/semanticweb/elk/owlapi/ElkConverter.java
public OWLRuntimeException convert(ElkException e) {
		if (e instanceof ElkFreshEntitiesException)
			return convert((ElkFreshEntitiesException) e);
		else if (e instanceof ElkInconsistentOntologyException)
			return convert((ElkInconsistentOntologyException) e);
		else if (e instanceof ElkInterruptedException)
			return convert((ElkInterruptedException) e);
		else
			return new OWLRuntimeException(e);
	}
public OWLRuntimeException convert(ElkException e) {
		if (e instanceof ElkFreshEntitiesException)
			return convert((ElkFreshEntitiesException) e);
		else if (e instanceof ElkInconsistentOntologyException)
			return convert((ElkInconsistentOntologyException) e);
		else if (e instanceof ElkInterruptedException)
			return convert((ElkInterruptedException) e);
		else
			return new OWLRuntimeException(e);
	}
public OWLRuntimeException convert ( ElkException e ) { if ( e instanceof ElkFreshEntitiesException ) return convert ( ( ElkFreshEntitiesException ) e ) ; else if ( e instanceof ElkInconsistentOntologyException ) return convert ( ( ElkInconsistentOntologyException ) e ) ; else if ( e instanceof ElkInterruptedException ) return convert ( ( ElkInterruptedException ) e ) ; else return new OWLRuntimeException ( e ) ; }
TODO: perhaps convert using some visitor
TODO : perhaps convert using some visitor