SK-languages as a Comprehensive Formal Environment for Developing a Multilingual Semantic Web
The paper proposes a workable solution to the problem of constructing a comprehensive semantic formal environment (CSFE) for developing a Multilingual Semantic Web. It is to be a collection of the rules enabling us to construct step by step a semantic representation (or text meaning representation) of practically arbitrary sentence or discourse pertaining to mass spheres of human’s professional activity. It is grounded that the class of SK-languages (standard knowledge languages) determined by the theory of K-representations (knowledge representations) can be interpreted as the first version of a CSFE for developing a Multilingual Semantic Web. The current version of the latter theory is stated in the V.A. Fomichov’s monograph published by Springer in 2010.