removed bugs in the EXPRESS-to-OWL conversion