SK-Languages As a Powerful and Flexible Semantic Formalism for the Systems of Cross-Lingual Intelligent Information Access. INF 2017, 41 (2).