Knowledge representations as the basis for requirements specifications