{"title":"Use of Ontology-based knowledge Organization Sysytems for WIKI Resources","authors":"J. Rogushina","doi":"10.15407/pp2022.01.023","DOIUrl":"https://doi.org/10.15407/pp2022.01.023","url":null,"abstract":"The paper considers the theoretical foundations of knowledge organization systems (KOSs) in intelligent ontology-based applications. The aim of this study is to analyze the use of different types of KOSs to organize and improve the knowledge base of semantic Wiki resources that contain heterogeneous multimedia content of large volume and have a complex structure integrated knowledge from different domains. The dialects of the OWL ontology representation language and their expressiveness for representing special cases of ontologies used in KOSs are considered. The criteria for the classification of KOSs and sphere of their usage are analyzed. Formal model of ontology for semantic Wiki resource is proposed. This model is integrated with various implementing means for different types of relations between objects in the Semantic MediaWiki environment based on templates. Problems of access and retrieval of information in these resources and methods of their solving from the KOSs point of view are considered. The software implementation of the proposed approach with the example of the portal version of the Great Ukrainian Encyclopedia (e-VUE) is realized. The urgency of the problem intensifies by the need for national information resources in martial law situation, for which the determining factors of effective information processing are both the ability to obtain satisfaction of complex information needs and the relevance of the information obtained. This increases the importance of official government portals that integrate reliable data from various fields of knowledge and prevent possible misrepresentation (both accidental and malicious) of information in resources with open content generation.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126331929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Study of principles, models and methods of FAIR paradigm of scientific data management for analysis for BIG data metadata","authors":"Y. Rogushina, I. Grishanova","doi":"10.15407/pp2021.04.026","DOIUrl":"https://doi.org/10.15407/pp2021.04.026","url":null,"abstract":"In this research work we considere the basic principles, models and methods of the FAIR (Findable, Accessible, Interoperable, Reusable) scientific data management paradigm as a separate case of Big Data. This paradigm is focused on the reuse of scientific research results.Basic principles of FAIR apply to three types of entities: data (or any digital object), metadata (information about this digital object) and infrastructure. Information on various projects, initiatives and communities working on solving the problems of scientific data and their metadata integration is examined. We analyze how the properties of FAIR data contribute to the unification and integration of the scientific infrastructure in the paradigm of open science, which is based on free access to research results and open data.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":" 1261","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113946461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Convolutional neural network model and software for classification of typical pests","authors":"Y.S. Bezliudnyi, V.M. Shymkovysh, Anastasiya Doroshenko","doi":"10.15407/pp2021.04.095","DOIUrl":"https://doi.org/10.15407/pp2021.04.095","url":null,"abstract":"A model of a convolutional neural network, a dataset for neural network training, and a software tool for the classification of typical insect pests have been developed, which allows recognizing the class of insect pests from an image. The structure of the neural network model was optimized to improve the classification results. In addition, the user interface, authentication, and authorization, data personalization, the presence of user roles and the appropriate distribution of functionality by role, the ability to view statistics on classified insects in a certain period of time were developed. Functional testing of the developed software application on a heterogeneous set of images of insects of 20 different classes was performed.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125255118","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Methods and techniques for management of ontolodgy-based knowledge representation models in the context of BIG data","authors":"O. Novytskyi","doi":"10.15407/pp2021.04.019","DOIUrl":"https://doi.org/10.15407/pp2021.04.019","url":null,"abstract":"Ontology-based knowledge representation models in the context of big data are one way to reduce complexity for data processing across methods of semantic description. This research paper aims at providing an overview of the methods and techniques for efficient management of the ontology-based models that improve big data systems. For this case, the shapes constraint language (SHACL) for information validation was reviewed as the key method. The knowledge representation systems and reasoners are studied and reviewed in the paper as well. It describes approaches based on ontologies in the context of big data. The proper management of ontology-based knowledge representation models through offered methods and techniques brings improved data integration, big data quality, and business process integration.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130011461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
V. Shevchenko, D. Berestov, I. Sinitsyn, V. Petrivskyi
{"title":"Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society","authors":"V. Shevchenko, D. Berestov, I. Sinitsyn, V. Petrivskyi","doi":"10.15407/pp2021.04.070","DOIUrl":"https://doi.org/10.15407/pp2021.04.070","url":null,"abstract":"The paper considers methods of mathematical modeling based on the use of the theory of cellular automata as the main tool for modeling the processes of public opinion formation. As the object of modeling was chosen social behavior in the context of the acceptance of educational material in the science-centered approach. The theory of cellular automata was chosen as a modeling tool because it is a relatively simple and at the same time effective method for modeling the interaction of single-type objects. The developed basic cellular automata of the model has extended rules of determination of cell state and determination of cell vicinity. It has also been derived the dependence of the information perception coefficient on the difference between the state of the cell and its surroundings. These improvements allow the model to be used to predict changes in social group preferences.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126556585","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Invention of a computer \"Kyiv\" architecture using a concept of Addressed Programming Language","authors":"Yury Yuschenko","doi":"10.15407/pp2021.04.103","DOIUrl":"https://doi.org/10.15407/pp2021.04.103","url":null,"abstract":"The article is devoted to the history of the origin of high-level programming in Ukraine. The transition from calculations by arithmometers and logarithmic rulers to solving problems on the computer \"Kyiv\" using pointers and tree-like formats (abstract data types are analogous) is described. The factors that contributed to this transition include: the experience of providing instructions for calculations by arithmometers, and the experience of programming on MESM. As a result a computer \"Kyiv\" has been developed with a hardware-implemented possibility of high-level programming, invention of the Addressed Programming Language with indirect addressing (pointers), tree formats and declarative capabilities. Hardware-realized demining of pointers in the computer \"Kyiv\" is one of the outstanding inventions of Ukrainian engineers and mathematicians at the initial stage of the information technologies development. At that time it was significantly ahead of the world technologies. Programming in computer \"Kyiv\", unlike Plankalkül, could identify and process complex structures. The paper describes the individual applications of the Address Programming Language, which was implemented on many Soviet-made computers and has been used by programmers for more than 20 years. Due to the so-called \"Iron Curtain\", scientists in the field of programming outside the post-socialist world still do not know about the invention of pointers by Kiev scientists. A textbook describing the Addressed Programming Language was translated into many languages. A monograph with a description of the computer architecture \"Kyiv\" and of the Addressed Programming Language was translated into English and published in the United States in 1966.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130096603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service Composition","authors":"P. Andon, O. Slabospitskaya","doi":"10.15407/pp2021.04.003","DOIUrl":"https://doi.org/10.15407/pp2021.04.003","url":null,"abstract":"Author’s Method for Adaptive Semantic Web Service dynamic composition is enriched with the algorithms for both its Context dedicated OWL-S-specification consistent using over its Life Cycle and Cyclic Dependencies at the function level solving with the Formalisms proposed of Knot-service, Proxy-service and Simplification – for sustain Quality implementing of Web Service being formed. Quality assurance for stakeholders is proposed through dynamic verification, in particular meeting the specified context and liveness, with the process Calculus of Context-aware Ambients. The algorithms proposed increase correspondence of Web Service being formed with Customers’ expectations and enable its sustain context-aware tailoring for unified support of both modern organizations’ variable and distributed Business Processes and some problem field Customers’ needs.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128014196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
V. Petrivskyi, V.L. Shevchenko, O. Bychkov, I. Sinitsyn
{"title":"Information technology to ensure the survivability of sensor networks","authors":"V. Petrivskyi, V.L. Shevchenko, O. Bychkov, I. Sinitsyn","doi":"10.15407/pp2021.04.062","DOIUrl":"https://doi.org/10.15407/pp2021.04.062","url":null,"abstract":"In the modern technological world, sensors and sensor networks are widely used in the all spheres of human activity. One of the key engineering tasks in the design of sensor networks is to ensure the survivability of the network. The article presents algorithms for ensuring the survivability of sensor networks based on a preliminary assessment of this property. Estimation of survivability depends on the network topology. Increasing the survivability of the sensor network is achieved by including additional sensors in the network. An algorithm for finding the position of additional sensors in the stationary sensor network is proposed. Proposed approach takes into account the radius of coverage of the sensors and the need for the intersection of the coverage areas of the sensors to ensure the exchange of information. An iterative algorithm for ensuring the survivability of the network in the presence and consideration of dynamic sensors is presented. The results of computer simulation experiments presented in the paper confirm the effectiveness of the proposed approaches.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126225383","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"60 Years of Databases (part two)","authors":"V. Reznichenko","doi":"10.15407/pp2021.04.036","DOIUrl":"https://doi.org/10.15407/pp2021.04.036","url":null,"abstract":"The article provides an overview of research and development of databases since their appearance in the 60s of the last century to the present time. The following stages are distinguished: the emergence formation and rapid development, the era of relational databases, extended relational databases, post-relational databases and big data. At the stage of formation, the systems IDS, IMS, Total and Adabas are described. At the stage of rapid development, issues of ANSI/X3/SPARC database architecture, CODASYL proposals, concepts and languages of conceptual modeling are highlighted. At the stage of the era of relational databases, the results of E. Codd’s scientific activities, the theory of dependencies and normal forms, query languages, experimental research and development, optimization and standardization, and transaction management are revealed. The extended relational databases phase is devoted to describing temporal, spatial, deductive, active, object, distributed and statistical databases, array databases, and database machines and data warehouses. At the next stage, the problems of post-relational databases are disclosed, namely, NOSQL-, NewSQL- and ontological databases. The sixth stage is devoted to the disclosure of the causes of occurrence, characteristic properties, classification, principles of work, methods and technologies of big data. Finally, the last section provides a brief overview of database research and development in the Soviet Union.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130598719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The grammar of Petri-object model visual programming language","authors":"А.J. Dyfuchyn, I. V. Stetsenko, E. Zharikov","doi":"10.15407/pp2021.04.082","DOIUrl":"https://doi.org/10.15407/pp2021.04.082","url":null,"abstract":"Petri-object models solve the problem of replicating fragments of Petri nets with given parameters and constructing a model from a large number of elements. The developed visual programming language of Petri-object models gives a possibility to reduce the number of errors during a model construction by automating the coding links between elements and graphical representation of a model. In addition to replicating Petri objects, the visual language implements replication of links between Petri objects. Formalization of the visual programming language grammar is presented in the form of production rules. A conclusion about grammar properties has been drawn.","PeriodicalId":313885,"journal":{"name":"PROBLEMS IN PROGRAMMING","volume":"495 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114016435","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}