吉林大学学报（理学版）
吉林大學學報（理學版）
길림대학학보（이학판）
JOURNAL OF JILIN UNIVERSITY(SCIENCE EDITION)
2010年
6期
1001-1007
,共7页
王俊华%左万利%赫枫龄%王英
王俊華%左萬利%赫楓齡%王英
왕준화%좌만리%혁풍령%왕영
本体定义%形式化描述%本体代数
本體定義%形式化描述%本體代數
본체정의%형식화묘술%본체대수
基于现有的本体定义, 采用函数式描述语言精确定义了本体建模基元, 给出一种新的本体形式化描述, 并给出了本体间近义关联的定义, 在新本体形式化描述和本体间近义关联定义的基础上, 提出一种具有封闭性的本体代数定义, 同时结合函数式描述语言, 给出了其形式化描述.
基于現有的本體定義, 採用函數式描述語言精確定義瞭本體建模基元, 給齣一種新的本體形式化描述, 併給齣瞭本體間近義關聯的定義, 在新本體形式化描述和本體間近義關聯定義的基礎上, 提齣一種具有封閉性的本體代數定義, 同時結閤函數式描述語言, 給齣瞭其形式化描述.
기우현유적본체정의, 채용함수식묘술어언정학정의료본체건모기원, 급출일충신적본체형식화묘술, 병급출료본체간근의관련적정의, 재신본체형식화묘술화본체간근의관련정의적기출상, 제출일충구유봉폐성적본체대수정의, 동시결합함수식묘술어언, 급출료기형식화묘술.
