SK-languages as a powerful and flexible semantic formalism for the systems of cross-lingual intelligent information access