SES-1711 SES-718 TimeLimitIteration.hasNext() now catches
NoSuchElementException to check if evaluation was interrupted. If
interrupted, it should throw an InterruptedException instead, otherwise,
throw the NSE on.
Merged in ses-1711 (pull request #56)

SES-1711 unstable test caused by bug in TimeLimitIteration.hasNext() fixed
add OWL:versionIRI
fix OWL.VERSIONIRI initialisation