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