ANALYSIS OF CONSTRUCTION OPERATIONAL SEMANTICS STRATIFICATIONSEMANTIC NETWORKS WEBAPPENDIXES
Lybchenko N.Y.
Annotations languages:
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.
Keywords: operational semantics, stratification semantic network, WEB-appendix
