V. A. Fomichov, “Theory of K-representations as a Comprehensive Formal Framework for Developing a Multilingual Semantic Web”, IJCAI, vol. 34, no. 3.