Theory of K-Representations As a Comprehensive Formal Framework for Developing a Multilingual Semantic Web. INF 34 (3).