The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory 将证明论方法引入到xml中，建立了基于xml的证明论。
2.
Through the analysis to the meaning and subsumption of the investment risk , i put forward to the analysis and adjustment methods of investment risk in the surrounding of wto , and discussed two idiographic adjustment methods 本文通过对企业投资风险涵义及构成的分析，提出了wto环境下我国企业投资风险的分析和调整方法，并着重对按风险调整贴现率法和按风险调整现金流量法两种调整方法进行了比较和探讨。
3.
An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented 主要内容包括：建立了基于xml的公理系统；给出了假言推理在xdd中的应用形式；论证了假言推理在xdd中有效性和完备性；给出了应用证明论方法实现xml问题求解的方法和步骤。
4.
Domain ontology can be modeled a simple directed acyclic network , subsumption relation between two concepts can be computed by the ( immediate ) ancestor or descendent algorithm in a ~ ( h ) , association degree between two concepts can be computed by the shortest path algorithm in a ~ ( h ) 领域本体可以模型化为一个简单有向无环网络，概念之间的包含关系可以通过a ~ h中的(直接)前驱后继算法来求解，而概念之间的关联度可以通过a ~ h中的最短路径算法来求解。
5.
We adopt local context analysis to extract characteristic words from the documents retrieved by a user query , then apply subsumption approach and resemble approach in discovering terms relationships . the dynamic knowledge is composed of these extracted terms and term relationships , as well as user ' s feedback information . dors expands user ' s query according to the dynamic kno wledge 我们采用局部上下文分析法从检索结果中提取与查询相关的特征词，然后采用包含方法和相似方法判定这些特征词之间的相关关系，并利用所提取的概念与概念之间的关系以及用户的反馈信息动态地构造和更新知识库。
