本体定义及本体代数 (2010年)

基于现有的本体定义,采用函数式描述语言精确定义了本体建模基元,给出一种新的 本体形式化描述,并给出了本体间近义关联的定义,在新本体形式化描述和本体间近义关联 定义的基础上,提出一种具有封闭性的本体代数定义,同时结合函数式描述语言,给出了其 形式化描述。