%0 Journal Article
%T 使用owldl形式化表达对象角色建模模型
%A 潘文林
%A 刘大昕
%J 计算机应用
%D 2011
%X ？对象角色建模(orm)方法已应用于本体工程，因此需要将orm模型转换为owldl公理，以便将orm本体发布到语义web上，同时还可使用支持dl的推理机来检查orm本体的语义一致性和冗余问题。通过模型语义分析、模型等价转换、引入新的运算符和特性等方法，提出将orm模型形式化表达为owldl公理的规则。除了外部唯一约束等四种约束外，其他形态的orm模型都可以形式化表达为owldl公理。
%K 对象角色建模
%K web本体语言
%K 描述逻辑
%K 模型映射
%U http://www.joca.cn/CN/abstract/abstract14396.shtml