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

Representing object role modeling models with Web ontology language description logic axioms

作　　者：潘文林 刘大昕 

机构地区：[1]哈尔滨工程大学机电工程学院,哈尔滨150001 [2]黑龙江省现代制造工程技术研究中心,哈尔滨150001 [3]哈尔滨工程大学计算机科学与技术学院,哈尔滨150001

出　　处：《计算机应用》2011年第4期1062-1066,1069,共6页journal of Computer Applications

摘　　要：对象角色建模(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-converting,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.

关 键 词：对象角色建模 WEB本体语言 描述逻辑 模型映射 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]