基于SWRL元模型的本体公理建模方法

摘要：

针对传统SWRL元模型难以表达规则前件中OWL类实例的问题,提出改进的元模型,采用逻辑运算符连接并区分规则的UML模型中不同的OWL属性和OWL类的实例.为规则设计了基于UML profile的建模机制.通过引入horn短句集、描述逻辑等知识表示方式,论证了用描述逻辑对部分基于UML建模的规则形式化的可行性,并给出基于描述逻辑对其形式化的方法.

关键词：本体、统一建模语言、元模型、规则

所属期刊栏目：36

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

资助基金：甘肃省自然科学基金资助项目0803RJZA025;甘肃省教育厅科研基金资助项目0803-07

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

页数：共3页

页码：53-55