The Presentation of Evolutionary Concepts

  • Sergey V. Kosikov
  • Viacheslav E. Wolfengagen
  • Larisa Yu. IsmailovaEmail author
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 636)


The paper considers an approach to solving the problem of supporting the semantic stability of information system (IS) objects. A set of IS objects is addressed as a semantic network consisting of concepts and frames. The interpretation that assigns intensional (meaning) and extensional (value) characteristics to network designs is connected to the constructions of the semantic network. The interpretation in the general case depends on the interpreting subject, time, context, which can be considered as parameters. The possibility to preset a consistent interpretation for a given semantic network is regarded as a semantic integrity, and the possibility to control changes in interpretation when the parameter is changed is regarded as semantic stability. Among the tasks related to supporting semantic stability, the problem of modelling evolutionary concepts (EC) is highlighted. It is proposed to construct a computational model of EC based on the theory of categories with a significant use of the concept of variable domain. The model is constructed as a category of functors, and it is shown that the Cartesian closure of the basic category implies Cartesian closure of the category of models. The structure of the exponential object of the category of models has been studied, and it is shown that its correct construction requires taking into account the evolution of concepts. The testing of the model’s constructions was carried out when lining the means of semantic support for the implementation of the best available technologies (BAT).


Information system Semantic network Semantic modeling Semantic stability Data model Computational model Theory of categories 



Authors acknowledge support from the MEPhI Academic Excellence Project (Contract No. 02.a03.21.0005). The research is supported in part by the RFBR grant 15-07-06898.


  1. 1.
    Atzeni, P., et al.: The relational model is dead, SQL is dead, and I don’t feel so good myself. SIGMOD Rec 42(1), 64–68 (2013)CrossRefGoogle Scholar
  2. 2.
    Chernyshov, A., Balandina, A., Kostkina, A., Klimov, V.: Intelligence search engine and automatic integration system for web-services and cloud-based data providers based on semantics. Procedia Comput. Sci. Scholar
  3. 3.
    Wolfengagen, V.E., Ismailova, L.Y., et al.: Evolutionary domains for varying individuals. Procedia Computer Science. Scholar
  4. 4.
    Cuzzocrea, A., Sellis, T.: Semantics-aware approaches to big data engineering. J. Data Semant. 6(2), 55–56 (2017)CrossRefGoogle Scholar
  5. 5.
    Ismailova, L.: Criteria for computational thinking in information and computational technologies. Life Sci. J. 11(9s), 415–420 (2014)Google Scholar
  6. 6.
    Castro,G., Costa, B.: Using data provenance to improve software process enactment, monitoring and analysis. In: Proceedings of the 38th International Conference on Software Engineering Companion, ICSE 2016, pp. 875-878. ACM, New York (2016)Google Scholar
  7. 7.
    Wolfengagen, V., et al.: Migration of the Individuals. Procedia Computer Science 88, 359–364 (2016). Scholar
  8. 8.
    Comyn-Wattiau, I. et al.: Conceptual Modeling, Proceedings of 35th International Conference ER 2016, Gifu, Japan, November 14-17, 2016. LNCS, vol. 9974. Springer (2016)Google Scholar
  9. 9.
    Population Modeling Working Group. Population modeling by examples (wip). In: Proceedings of the Symposium on Modeling and Simulation in Medicine, MSM 2015, pp. 61–66. Society for Computer Simulation International, San Diego (2015)Google Scholar
  10. 10.
    Wolfengagen, V.E., Ismailova, L.Y., Kosikov, S.V.: Computational model of the tangled web. Procedia Comput. Sci. Scholar
  11. 11.
    Scott, D.: Advice in modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic. Reidel (1970)Google Scholar
  12. 12.
    Scott, D.S.: Relating theories of the lambda calculus. In: Hindley, J., Seldin, J. (eds.) To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 403-450. Academic Press, New York (1980)Google Scholar
  13. 13.
    Scott, D.: The lattice of flow diagrams. In: Symposium on Semantics of Algorithmic Languages, pp. 311-366. Springer (1971)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  • Sergey V. Kosikov
    • 1
  • Viacheslav E. Wolfengagen
    • 2
  • Larisa Yu. Ismailova
    • 2
    Email author
  1. 1.Institute for Contemporary Education “JurInfoR-MGU”MoscowRussian Federation
  2. 2.National Research Nuclear University “MEPhI” (Moscow Engineering Physics Institute)MoscowRussian Federation

Personalised recommendations