final changes to EXPRESS-to-OWL-converter