| 基于SWRL元模型的本体公理建模方法 |
| |
| 引用本文： | 王小龙,李明. 基于SWRL元模型的本体公理建模方法[J]. 计算机工程, 2010, 36(2): 53-55 |
| |
| 作者姓名： | 王小龙 李明 |
| |
| 作者单位： | 兰州理工大学计算机与通信学院,兰州,730050 |
| |
| 基金项目： | 甘肃省自然科学基金资助项目(0803RJZA025);;甘肃省教育厅科研基金资助项目(0803-07) |
| |
| 摘 要： | 针对传统SWRL元模型难以表达规则前件中OWL类实例的问题，提出改进的元模型，采用逻辑运算符连接并区分规则的UML模型中不同的OWL属性和OWL类的实例。为规则设计了基于UML profile的建模机制。通过引入horn短句集、描述逻辑等知识表示方式，论证了用描述逻辑对部分基于UML建模的规则形式化的可行性，并给出基于描述逻辑对其形式化的方法。
|
| 关 键 词： | 本体 统一建模语言 元模型 规则 |
| 修稿时间： | |
Modeling Method for Ontology Axioms Based on SWRL Metamodel |
| |
| WANG Xiao-long,LI Ming. Modeling Method for Ontology Axioms Based on SWRL Metamodel[J]. Computer Engineering, 2010, 36(2): 53-55 |
| |
| Authors: | WANG Xiao-long LI Ming |
| |
| Affiliation: | (College of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050) |
| |
| Abstract: | |
| |
| Keywords: | ontology Unified Modeling Language(UML) metamodel rules |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
