Finally, this thesis proves that the recursion fixed point theory can also be used for the semantic model computation of a stratified TBox in ontology knowledge base.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
This thesis also proves, on the basis of international comparison, that the protection of minority shareholders' rights and interests is the starting point of improving stock market.
在对国际比较的基础之上，论证保护小股东权益是促进股份制、股票市场良性循环的起点。
Then this thesis deals with the relationship between communicative context adaptation and translation and proves that the theory can be applied to the literary translation.
此外，本文还探讨了交际语境顺应论与翻译的关系，并论证了交际语境顺应论可以应用于文学翻译中。
应用推荐