计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (25): 44-46.DOI: 10.3778/j.issn.1002-8331.2010.25.013
王晓东，孙 滨
收稿日期:2009-02-26
修回日期:2009-04-10
出版日期:2010-09-01
发布日期:2010-09-01
通讯作者:
王晓东
WANG Xiao-dong，SUN Bin
Received:2009-02-26
Revised:2009-04-10
Online:2010-09-01
Published:2010-09-01
Contact:
WANG Xiao-dong
摘要： 形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域，利用商空间理论对Ontology进行形式化，并在此基础上对Ontology进行模型检验。
中图分类号:
王晓东，孙 滨. 商空间模型下的Ontology形式化及其检验[J]. 计算机工程与应用, 2010, 46(25): 44-46.
WANG Xiao-dong，SUN Bin . Format and test of Ontology based on quotient space model[J]. Computer Engineering and Applications, 2010, 46(25): 44-46.
| [1] | 高 芳1，2，韩 璞1，翟永杰1. 基于变异操作的蚁群算法用于连续函数优化[J]. 计算机工程与应用, 2011, 47(4): 5-8. |
| [2] | 赵东旭，乐晓波. 采用改进的进化策略优化模糊Petri网参数[J]. 计算机工程与应用, 2011, 47(4): 29-32. |
| [3] | 宋小震1，2，韩召伟1，李永明3. 量子上下文无关文法的代数性质[J]. 计算机工程与应用, 2011, 47(4): 42-46. |
| [4] | 黄敏镁. 粒子群算法在物流中心选址中的应用[J]. 计算机工程与应用, 2011, 47(4): 212-214. |
| [5] | 党正军，杜中军. 基于图裁减和图搜索的工作流图验证算法[J]. 计算机工程与应用, 2011, 47(4): 226-228. |
| [6] | 刘 君1，2，熊忠阳1，王银辉1. 改进型动态隧道神经网络在蛋白质预测的应用[J]. 计算机工程与应用, 2011, 47(3): 13-16. |
| [7] | 刘琼荪，范瑞雅. 确定高斯核参数的聚类方法[J]. 计算机工程与应用, 2011, 47(3): 38-40. |
| [8] | 韩召伟1，2，韩召莹3. Lukasiewicz逻辑值上下文无关语言的代数刻画[J]. 计算机工程与应用, 2011, 47(3): 47-50. |
| [9] | 戴海鹏，唐厚君. 求凸多边形直径的改进算法[J]. 计算机工程与应用, 2011, 47(3): 44-46. |
| [10] | 李 强，刘国栋. 多移动机器人的组队规划研究[J]. 计算机工程与应用, 2011, 47(2): 242-245. |
| [11] | 陈应显. 基于模糊集的蚁群空间聚类方法研究[J]. 计算机工程与应用, 2011, 47(2): 5-7. |
| [12] | 崔明义. 小波分解的浮点数编码遗传算法消噪变异研究[J]. 计算机工程与应用, 2011, 47(2): 35-37. |
| [13] | 于 勇1，张 亚2，郭希娟2，封 雪2. 基于成功回路的凹多面体的剖分算法[J]. 计算机工程与应用, 2011, 47(2): 41-42. |
| [14] | 汪 保，孙 秦. 求解非线性方程组的一种并行算法[J]. 计算机工程与应用, 2011, 47(2): 49-51. |
| [15] | 林时来，刘光远，张慧玲. 蚁群算法在呼吸信号情感识别中的应用研究[J]. 计算机工程与应用, 2011, 47(2): 169-172. |
| 阅读次数 | ||||||
|
全文 |
|
|||||
|
摘要 |
|
|||||
