第2卷第6期 智能系统学报 Vol.2 N26 2007年12月 CAAI Transactions on Intelligent Systems Dec.2007 基于本体的可拓知识链获取 陈文伟 (海军兵种指挥学院，广东广州510431) 摘要：相对于静态的知识，定义了基于可拓变换的可拓知识，可拓知识是变化的知识.在可拓知识定理（从知识中 获取可拓知识)和可拓推理公式的基础上，证明了基于集合的可拓知识定理和基于本体的可拓知识链定理.通过实 例，在多维层次数据中，获取问题产生原因的可拓知识链 关键词：可拓变换：可拓知识：集合：本体：可拓知识链 中图分类号：TP18文献标识码：A文章编号：1673-4785(2007)060068-04 Acquisition of an extensional knowledge chain based on ontology CHEN Wemwei (Naval Arms Command Academy,Guangzhou 510431,China) Abstract:This paper begins with a definition of extensional knowledge based on extensional transforma- tions.Extensional knowledge is mutative knowledge relative to static knowledge.Based on the theorem of extensional knowledge and the formula for extensional knowledge reasoning,a theorem of extensional knowledge based on sets and a theorem of an extensional knowledge chain based on ontology were proven. Using a case study,the process for generating an extensional knowledge chain in multi-dimensional hiber- archical data was analyzed. Key words :extensional transformation;extensional knowledge;set;ontology;extensional knowledge chain 识蕴含型知识、可扩型知识、共轭型知识和变换的 1可拓变换与可拓知识概念 蕴含型知识共6种类型.文中主要研究的可拓知识 1.1可拓变换概念 类型是变换的蕴含型知识。 定义1在可拓学中，可拓变换定义为对象 可拓变换可能由某个条件（原因）产生或者可拓 、v∈M、A、R、k、U(即物元、事元、关系元、准则、 变换会引起某个结果，与可拓变换有关的具有因果 论域中的任一个对象)，将对象u改变为对象v的变 关系的规则式，统称为变换的蕴含型知识. 换T称为可拓变换.记作 1)可拓变换Tu由某一条件或原因所引起： Tu v. 1) Condition→Tru=y. (3) 1.2可拓变换形式逻辑表示 ①条件Condition可能是某一事实F=f,具体 式()中将对象u变为对象v,实际上完成了u 表示为 自身变为~“，并使v成为真.这样，可拓变换可以用 F=f→Tau= (4) 形式逻辑表示. ②条件Condition可能是另一个可拓变换 定义2可拓变换形式逻辑表示为 Ta=b,具体表示为 Tu=v~u∧v. 2) Taa=b→Tml=v. (5) 1.3可拓知识概念和定义 此时，在可拓学中，可拓变换T,称为可拓变换 可拓学中可拓知识包括：发散型知识、相关型知 T。的传导变换 收稿日期：2007-0523. ③涤件Condition可能是一个算子A求出变量 基金项目：国家自然科学基金资助项目(70671013) X的值，表示为 1994-2009 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net第 2 卷第 6 期 智 能 系 统 学 报 Vol. 2 №. 6 2007 年 12 月 CAAI Transactions on Intelligent Systems Dec. 2007 基于本体的可拓知识链获取 陈文伟 (海军兵种指挥学院 ,广东 广州 510431) 摘 要 :相对于静态的知识 ,定义了基于可拓变换的可拓知识 ,可拓知识是变化的知识. 在可拓知识定理 (从知识中 获取可拓知识)和可拓推理公式的基础上 ,证明了基于集合的可拓知识定理和基于本体的可拓知识链定理. 通过实 例 ,在多维层次数据中 ,获取问题产生原因的可拓知识链. 关键词 :可拓变换 ;可拓知识 ;集合 ;本体 ;可拓知识链 中图分类号 : TP18 文献标识码 :A 文章编号 :167324785 (2007) 0620068204 Acquisition of an extensional knowledge chain based on ontology CH EN Wen2wei (Naval Arms Command Academy , Guangzhou 510431 ,China) Abstract :This paper begins wit h a definition of extensional knowledge based on extensional transforma2 tions. Extensional knowledge is mutative knowledge relative to static knowledge. Based on t he t heorem of extensional knowledge and t he formula for extensional knowledge reasoning , a t heorem of extensional knowledge based on sets and a t heorem of an extensional knowledge chain based on ontology were proven. Using a case st udy , t he process for generating an extensional knowledge chain in multi2dimensional hiber2 archical data was analyzed. Keywords :extensional transformation ; extensional knowledge ; set ; ontology ; extensional knowledge chain 收稿日期 :2007205223. 基金项目 :国家自然科学基金资助项目(70671013) . 1 可拓变换与可拓知识概念 1. 1 可拓变换概念 定义 1 在可拓学中 , 可拓变换定义为对象 u、v ∈{ M、A 、R、k、U} (即物元、事元、关系元、准则、 论域中的任一个对象) ,将对象 u 改变为对象 v 的变 换 T 称为可拓变换. 记作 Tu = v. (1) 1. 2 可拓变换形式逻辑表示 式(1) 中将对象 u 变为对象 v ,实际上完成了 u 自身变为～u ,并使 v 成为真. 这样 ,可拓变换可以用 形式逻辑表示. 定义 2 可拓变换形式逻辑表示为 Tu = v ∴～ u ∧v. (2) 1. 3 可拓知识概念和定义 可拓学中可拓知识包括 :发散型知识、相关型知 识、蕴含型知识、可扩型知识、共轭型知识和变换的 蕴含型知识共 6 种类型. 文中主要研究的可拓知识 类型是变换的蕴含型知识. 可拓变换可能由某个条件(原因) 产生或者可拓 变换会引起某个结果 ,与可拓变换有关的具有因果 关系的规则式 ,统称为变换的蕴含型知识. 1) 可拓变换 T u 由某一条件或原因所引起 : Condition → Tu u = v. (3) ①条件 Condition 可能是某一事实 F = f ,具体 表示为 F = f → Tu u = v. (4) ②条件 Condition 可能是另一个可拓变换 Ta a = b,具体表示为 Ta a = b → Tu u = v. (5) 此时 ,在可拓学中 ,可拓变换 Tu 称为可拓变换 T a 的传导变换. ③条件 Condition 可能是一个算子 A 求出变量 X 的值 ,表示为 © 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. http://www.cnki.net