Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (25): 44-46.DOI: 10.3778/j.issn.1002-8331.2010.25.013

• 研究、探讨 • Previous Articles     Next Articles

Format and test of Ontology based on quotient space model

WANG Xiao-dong,SUN Bin   

  1. Institute of Computer and Information Technology,Henan Normal University,Xinxiang,Henan 453007,China
  • Received:2009-02-26 Revised:2009-04-10 Online:2010-09-01 Published:2010-09-01
  • Contact: WANG Xiao-dong

商空间模型下的Ontology形式化及其检验

王晓东,孙 滨   

  1. 河南师范大学 计算机与信息技术学院,河南 新乡 453007
  • 通讯作者: 王晓东

Abstract: Formal Ontology model and its testing have been hot topics in artificial intelligence.This paper applies the idea of granular computing to the field of Ontology modeling.It uses the theory of quotient space to formalize the Ontology,on the basis of which the Ontology model can be tested.

摘要: 形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域,利用商空间理论对Ontology进行形式化,并在此基础上对Ontology进行模型检验。

CLC Number: