Basic Constructions of the Computational Model of Support for Access Operations to the Semantic Network

The paper considers the approach to solving the task of storing data in the Web environment using semantic networks (SN). The control over the access to SN is identified as a critical task. An approach to the solution based on the use of the controlling SN is proposed. The rationale for the approach involves developing a computational model for supporting the access operations. The construction of a model based on intensional logic is proposed. The basic logical constructions, necessary for building a model, are considered. The testing of the model's constructions was performed when building the tools of semantic support for the implementation of the best available technologies (BAT).