* added new algorithm version
* added two methods to OWLUtil
* terminology get's copied before expansion so the editor keeps the small one