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
"Analyz postroenyia operatsyonnoi semantyky stratyfytsyrovannыkh semantycheskykh setei WEB-prylozhenyi" ,
Information Processing Systems,