resolved open issues in EXPRESS-to-OWL conversion