摘要
针对传统的本体形式化过程中从一个本体层次空间跳转到另一个本体层次空间存在的问题,将粒度计算思想引入本体建模领域,利用属性粒度商空间理论构建本体形式化模型,定义模型的各个部分,在此基础上对基于属性粒度商空间的本体形式化模型进行检验,验证该模型可以较好地满足本体层次之间的跳转及推理关系。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第7期50-51,54,共3页
Computer Engineering
基金
河南省科技攻关计划基金资助项目(08210221007)
关键词
本体
粒度计算
商空间
形式化
属性
ontology
granular computing
quotient space
formalization
property