I A Comprehensive Mathematical Framework for the Development of Semantic Technologies -- Mathematical Models for Designing Natural Language Processing Systems as a New Field of Studies for Systems Science -- to Integral Formal Semantics of Natural Language -- A Mathematical Model for Describing a System of Primary Units of Conceptual Level Used by Applied Intelligent Systems -- A Mathematical Model for Describing Structured Meanings of Natural Language Sentences and Discourses -- A Study of the Expressive Possibilities of SK-Languages -- The Significance of a New Mathematical Model for Web Science, E-science, and E-commerce -- II FormalMethods and Algorithms for the Design of Semantics-Oriented Linguistic Processors -- A Mathematical Model of a Linguistic Database -- A New Method of Transforming Texts into Semantic Representations -- Algorithm of Building a Matrix Semantic-Syntactic Representation of a Natural Language Text -- An Algorithm of Semantic Representation Assembly -- Natural Language Processing Applications.

This book examines key issues in designing semantics-oriented natural language (NL) processing systems. One of the key features is an original strategy for transforming the existing World Wide Web into a new generation Semantic Web (SW-2) and the basic formal tools for its realization, which are proposed. The principal distinguishing feature of the proposed SW-2 is the well-developed ability of NL processing. A broad conceptual framework for describing structured meanings of NL-texts (sentences and arbitrarily complex discourses) is obtained by introducing a mathematical model describing 10 interrelated partial operations on conceptual structures. A new class of formal languages called standard knowledge languages (SK-languages) is defined. Readers will gain knowledge of these languages and learn a way of building semantic representations using them. Additionally, a broadly applicable mathematical model of a linguistic database is constructed. A useful for practice and strongly structured multi-lingual algorithm of semantic-syntactic analysis of NL-texts is described by means of original formal concepts; the input texts can be sentences in English, Russian, and German. With extensive use of examples and illustrations to clarify complex material and demonstrate practical applications, many historical and bibliographical notes, end-of-chapter exercises, and glossaries, this book can serve as a graduate-level textbook, as well as a good reference for researchers and practitioners who deal with the various problems involving semantics of natural language texts, ontologies, Semantic Web, semantic data integration in e-science, and content languages in multi-agent systems, in particular, in e-commerce and e-health.