Fixed two glitches in which patterns for achieve would not be exported into .owl, and where the owl:namedIndividual tag would not be closed again (resulting in invalid XML)