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

摘要

对象角色建模(ORM)方法已应用于本体工程,因此需要将ORM模型转换为OWL DL公理,以便将ORM本体发布到语义Web上,同时还可使用支持DL的推理机来检查ORM本体的语义一致性和冗余问题.通过模型语义分析、模型等价转换、引入新的运算符和特性等方法,提出将ORM模型形式化表达为OWL DL公理的规则.除了外部唯一约束等四种约束外,其他形态的ORM模型都可以形式化表达为OWL DL公理.%Object Role Modeling (ORM) has been used in ontology engineering to model domain ontology, which needs to represent ORM models in OWL DL axioms to check semantic conflicts and redundancy with DL reasoners, and to publish ORM ontology on the semantic Web. By means of comparing the semantics of ORM model and OWL DL axioms, equivalently model-convening, and introducing new operators and properties, that mapping rules to represent ORM models in OWL DL axioms was proposed. Except a few constraints, most ORM model elements can be represented by OWL DL axioms.