1) Existence is to be the value of bound variable
存在成为约束变元的值
2) existence restriction
存在约束
1.
This paper analyzes the restrict relations of ontology concepts attribute,uses bull function to derivate the existence restrictions of concept attribute and proposes a method of building ontology concept hierarchy according to the existence restrict relations of concepts attribute.
通过分析本体论概念属性间的约束关系,借助于布尔方程衍生概念属性间的存在约束,提出了根据概念属性间存在约束关系构建本体论概念层次的方法,并在此基础上给出了本体论概念层次的维护算法。
3) Bound-variable
约束变元
4) existing constraint
存在性约束
5) Being Qua Being
作为存在的存在
6) fixed-value restrictions
不变值约束
补充资料：约束变元
约束变元
bound wiable
约束变元l肠.工d抽ria映;.~匆皿脚”e~〕，变元的约束出现(场面d袱u门℃nCeofa锥riable) ’变元在语言表示式中出现的一种类型.对每一个形式语言，其确切定义依赖于语言的形成规则.约束变元出现的位置不能用一个对象去代替，因为那样的代换将导致一个无意义的表示式.然而一个约束变元可以用一个新的(对给定表示式来说是新的)变元代替，结果得到一个与原表示式意义相同的表示式.例如，在表示式 lf(、，_门“{、:/(、，，)/O}中的x是约束变元.用一个数去代替x，将导致一个无意义的表示式.然而若把表示中x的所有出现用:代替则得到一个与原式意义完全相同的表示式. 约束变元总是产生于把一个算子变元x作用丁一个具有变兀、自由出现的表不式仑时(见自由变元伍沈认an日ble曰.当把一个算子变元、作用于表刁、式eJ舌，原来e中x的自由出现都变为约束出现.下面我们列举一些常用的算子(仅次于算子丁…六和{x:二:。，其中的;是算子变元: 丫双·)，习以·)「即全称量词和存在量词; 丁一“、，即对厂.、的定积分， 艺、即对上、求和; 凡x仁·)，即戈的函数，’已在义处的函数值是一特定的语言表示式可以代人_上列诸小圆点处. 在实用(非形式化)的数学教科书中，对同…个表示式来说，’已的用法可能不是唯一的;这时，识别一个给定表小中的约束变元要依赖于上「文和表示式的意义在形式语言中，存在着识别变元的约束出现和自由出现的形式方法，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条