摘要： 针对传统的本体形式化过程中从一个本体层次空间跳转到另一个本体层次空间存在的问题，将粒度计算思想引入本体建模领域，利用属性粒度商空间理论构建本体形式化模型，定义模型的各个部分，在此基础上对基于属性粒度商空间的本体形式化模型进行检验，验证该模型可以较好地满足本体层次之间的跳转及推理关系。

关键词: 本体, 粒度计算, 商空间, 形式化, 属性

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.

Key words: ontology, granular computing, quotient space, formalization, property

中图分类号: 

• TP301