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

？对象角色建模(orm)方法已应用于本体工程，因此需要将orm模型转换为owldl公理，以便将orm本体发布到语义web上，同时还可使用支持dl的推理机来检查orm本体的语义一致性和冗余问题。通过模型语义分析、模型等价转换、引入新的运算符和特性等方法，提出将orm模型形式化表达为owldl公理的规则。除了外部唯一约束等四种约束外，其他形态的orm模型都可以形式化表达为owldl公理。