| 基于属性粒度商空间的本体形式化与检验 |
| |
| 引用本文： | 王晓东,孙 滨,刘进营,赵爱玲.基于属性粒度商空间的本体形式化与检验[J].计算机工程,2010,36(7):50-51,54. |
| |
| 作者姓名： | 王晓东 孙 滨 刘进营 赵爱玲 |
| |
| 作者单位： | (河南师范大学计算机与信息技术学院，新乡 453007) |
| |
| 基金项目： | 河南省科技攻关计划基金资助项目（08210221007） |
| |
| 摘 要： | 针对传统的本体形式化过程中从一个本体层次空间跳转到另一个本体层次空间存在的问题，将粒度计算思想引入本体建模领域，利用属性粒度商空间理论构建本体形式化模型，定义模型的各个部分，在此基础上对基于属性粒度商空间的本体形式化模型进行检验，验证该模型可以较好地满足本体层次之间的跳转及推理关系。
|
| 关 键 词： | 本体 粒度计算 商空间 形式化 属性 |
| 修稿时间： | |
Ontology Formalization and Its Test Based on Property Granular Quotient Space |
| |
| WANG Xiao-dong,SUN Bin,LIU Jin-ying,ZHAO Ai-ling.Ontology Formalization and Its Test Based on Property Granular Quotient Space[J].Computer Engineering,2010,36(7):50-51,54. |
| |
| Authors: | WANG Xiao-dong SUN Bin LIU Jin-ying ZHAO Ai-ling |
| |
| Affiliation: | (Institute of Computer and Information Technology, Henan Normal University, Xinxiang 453007) |
| |
| Abstract: | Aiming at the problem of jumping from one ontology-level space to another in traditional ontology formalization process, this paper introduces the idea of granular computing to the field of ontology modeling, which uses the theory of property granular quotient space to construct ontology formalization model and defines various parts of it. The ontology formalization model based on property granular quotient space is tested, whose results prove that the model can meet reasoning relations among ontological levels better. |
| |
| Keywords: | ontology granular computing quotient space formalization property |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
