使用OWL DL形式化表达对象角色建模模型

合集下载

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ｄｉ１．７４Ｓ．．０７２１．１６ｏ：０３２／ＰＪ１８．０００２１
使用ＯＬ形式化表达对象角色建模模型ＷＬＤ
潘文林，大昕刘
（．尔滨工程大学机电工程学院，尔滨１００；２黑龙江省现代制造工程技术研究中心，尔滨１００；１哈哈５０１．哈５０１
第３卷第４期１
２１０１年４月
计算机应用
ＪｕａｆＣｍｐｔｒＡｐｌａｉｎｏｒｌｏｕｅｐｉｔｓｎｏｃｏ
Ｖ０．Ｎｏ．１３１４
Ａｐ．０１ｒ２１
文０００２— ５
ＫｙｗｒｓｂｅｔｏｅＭｄｌｇ（Ｒ；ＷｅｎｌｙＬｎｕｇＯ）ｅｃｐｉｏｉＤ）ｏｅｍａｐｇｅｏｄ：ＯｊｌｏｅｉＯＭ）ｃＲｎｂＯｔｏａｇａｅ（ＷＬ；ＤｓｒｔｎＬｇｏｇｉｏｃ（Ｌ；ｍｄｌｐｉｎ
Ｗｅｎｔｌｇａｕａｅｄｅｃｉｔｏｌｇｃａｉｍｓｂｏｏｏｙｌｎｇｇｓｒｐｉｎｏｉｘｏ
ＰＡＮｅ１ｎ．ＬＵ．ｉＷｎ．ｉＩＤａｘｎ
（．ｏｅｅｏｃａｉｌｎｌｔｃｌｎｉｅｒｇａｂｎＥｇｎｅｉｇＵｉｒｉ，Ｈｒｉｅｌｇａｇ１００，Ｃｉａ１ＣｌｇｌｆＭｅｈｎａｄＥｅｒａＥｇａｅｎ，ＨｒｉｎｉｒｎｅｔａｂｎＨｉｎｆｎ５０１ｈｎ；ｃａｃｉｉｅｎｖｓｙｏｉ２Ｈｉｎｆｎ．ｅｏｇａｇＭｏｅＭａｕａｔｒｇＥｇｎｅｉｅａｃｅｔ，Ｈｒｉｅｌｇａｇ１００，Ｃｉ；ｌｉｄｍｎｆｃｉｕｎｎｉｅｒｇＲｓｒＣｎｅａｂｎＨｉｎｆｎ５０１ｈｎｎｅｈｒｏｉａ３ＣｌｇｏｐｔｃｎｅａｄＴｃｎｌｙａｂｎＥｇｎｅｎｎｖｒｔａｂｅｏｇｉｎ５０１ｈｎ）．ｏｌｅＣｍｕｅＳｉｃｎｅｈｏｇ，ＨｒｉｎｉｅｒｇＵｉｓｙｅｏｆｒｅｏｉｅｉ，ＨｒｉＨｉｎｊｇ１００，Ｃｉｎｌａａ
ＯＲＭｎｏｏｎｔｅｓｍａｔｅ．ＢａｓｏｏａｉｇｔｅｓｍａｔｓｏＲＭｄｌａｄＯＷＬＤｘｏ，ｅｕｖｌｎｌｏｔｌｇｏｈｅｎｉＷｂｙｍｅｎｆｍｐｒｎｅｎｉｆＯｙｃｃｈｃｍｏｅｎＬａｉｍｓｑｉａｅｔｙｍｏｅ・ｏｖｎｉｇｎｎｒｄｃｎｅｐｒｔｒｎｒｐｒｉｓｈｔｍａｐｎｕｅｏｒｐｅｅｔＯＲＭｄｌｉｄｌｃｎｅｎ，ａｄｉｔｏｕｉｇｎｗｏｅａｏｓａｄｐｏｅｔ，ｔａｐｉｇｒｌｓｔｅｒｓｎｅｍｏｅｓｎＯＷＬＤＬｘｏｓｐｏｏｅ．ｘｅｔｆｗｃｎｔａｎｓａｉｍｓｗａｒｐｓｄＥｃｐｅｏｓｒｉｔ，ｍｏｔＯＲｍｏｅｌｍｅｔｃｎｂｅｒｓｎｅｙＯＷＬＤｘｏ．ａｓＭｄｌｅｅｎｓａｅｒｐｅｅｔｄｂＬａｉｍｓ
本体发布到语义Ｗｅｂ上，同时还可使用支持ＤＬ的推理机来检查ＯＭ本体的语义一致性和冗余问题。通过模型语义Ｒ
分析、型等价转换、模引入新的运算符和特性等方法，出将ＯＭ模型形式化表达为ＯＬ公理的规则。除了外提ＲＷＬＤ部唯一约束等四种约束外，其他形态的ＯＭ模型都可以形式化表达为ＯＬ公理。ＲＷＬＤ
ＡｓａｔｂｃＲｌＭｄｌｇ（Ｒ）ｈｓｂｅｓｄｉｎｏｇｎｉｅｒｇｔｍｄｌｏａｎｏｇ，ｗｉｅｄｂｔｃ：ＯｊｔｏｏｅｎＯＭａｅｎｕｅｏｔｌｙｅｇｅｎｏｅｄｍｉｏｔｏｒｅｅｉｎｏｎｉｏｎｌｙｈｃｎｅｓｈ
关键词：象角色建模；ｂ本体语言；述逻辑；型映射对Ｗｅ描模中图分类号：Ｔ３１Ｐ１文献标志码：Ａ
Ｒｅｒｓｎｉｇｏｊｃｏｅｍｏｅｎｄｌｗｉｐｅｅｔｂｅｔｒｌｄｌｇｍｏｅｓｔｎｉｈ
ｔｅｅｓｎｔ０ＲＭｄｌｎＯＷＬＤＬｘｏｓｔｈｅｋｓｍａｉｏｌｉｔｎｅｕｎａｃｔｏｒｐｒｅｍｏｅｓｉａｉｍｏｃｃｅｎｔｃｃｎｆｃｓａｄｒｄｄｎｙｗｉｈＤＬｅａｏｅｓａｄｔｂｉｈｒｓｎｒ，ｎｏｐｕｌｓ
３哈尔滨工程大学计算机科学与技术学院，．哈尔滨１００）５０１
（ａｗｎｉ＠ｈｂｕｅｕＯ）ｐｎｅｌｎｒｅ．ｄ．１３
摘
要：象角色建模（Ｒ方法已应用于本体工程，对ＯＭ）因此需要将ＯＭ模型转换为ＯＬ公理，ＲＷＬＤ以便将ＯＭＲ