Approach is considered to direct organization of deductive conclusion in the environment of WEB-appendix by means of analysis of process of construction of operational semantics of stratification semantic network, allowing directly to conduct a deductive conclusion during realization of semantic technology. Uncontradiction of extensional database the proper WEB-appendix is thus saved. The charts of factualassociation, addition and clarification are considered.
operational semantics, stratification semantic network, WEB-appendix
“Analiz postroeniia operatsionnoi semantiki stratifitsirovannykh semanticheskikh setei WEB-prilozhenii”,
Information Processing Systems,