基于领域知识的模型检验方法

摘要：

提出了一种基于领域知识的模型检验方法.该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础.领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求.

关键词：模型检验、规则库、领域知识、潜规则、本体

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

资助基金：国防预研基金9140A06020206JBSl01;"十一五"装备预先研究项目513060102资助课题

在线出版日期：2008-10-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1561-1565