摘要
形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域,利用商空间理论对Ontology进行形式化,并在此基础上对Ontology进行模型检验。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第25期44-46,共3页
Computer Engineering and Applications
基金
河南省科技攻关计划No.08210221007~~
作者简介
E-mail： wangxiaodong.wang@yahoo.com.cn王晓东（1963-），男，博士，教授，研究生导师，研究方向为语义Web及其应用、Ontology、知识工程；
孙滨（1983-），男，硕士研究生，研究方向为语义Web及其应用、Ontology。
