基于这种统一的表示，本文给出了简洁的几何元素位置关系的判断方法以及获得一致性的完备推理规则。
Based on these unified representations, this paper gives a succinct method to obtain positional relations between geometric elements, and a group of complete reasoning rules to make them consistent.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
应用推荐