Theory of K-representations as a comprehensive formal framework for developing a multilingual semantic web