| 使用OWL DL形式化表达对象角色建模模型 |
| |
| 引用本文： | 潘文林,刘大昕.使用OWL DL形式化表达对象角色建模模型[J].计算机应用,2011,31(4):1062-1066. |
| |
| 作者姓名： | 潘文林 刘大昕 |
| |
| 作者单位： | 1. 哈尔滨工程大学 机电工程学院，哈尔滨 1500012. 黑龙江省现代制造工程技术研究中心，哈尔滨 1500013. 哈尔滨工程大学 计算机科学与技术学院，哈尔滨 150001 |
| |
| 摘 要： | 对象角色建模(ORM)方法已应用于本体工程，因此需要将ORM模型转换为OWL DL公理，以便将ORM本体发布到语义Web上，同时还可使用支持DL的推理机来检查ORM本体的语义一致性和冗余问题。通过模型语义分析、模型等价转换、引入新的运算符和特性等方法，提出将ORM模型形式化表达为OWL DL公理的规则。除了外部唯一约束等四种约束外，其他形态的ORM模型都可以形式化表达为OWL DL公理。
|
| 关 键 词： | 对象角色建模 Web本体语言 描述逻辑 模型映射 |
| 收稿时间： | 2010-08-10 |
| 修稿时间： | 2010-10-04 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
