计算机应用 ›› 2011, Vol. 31 ›› Issue (04): 1062-1066.DOI: 10.3724/SP.J.1087.2011.01062

• 人工智能 • 上一篇    下一篇

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

潘文林1,2,刘大昕3   

  1. 1. 哈尔滨工程大学 机电工程学院，哈尔滨 150001
    2. 黑龙江省现代制造工程技术研究中心，哈尔滨 150001
    3. 哈尔滨工程大学 计算机科学与技术学院，哈尔滨 150001
  • 收稿日期:2010-08-10 修回日期:2010-10-04 发布日期:2011-04-08 出版日期:2011-04-01
  • 通讯作者: 潘文林
  • 作者简介:潘文林(1972-), 男, 云南泸水人, 副教授, 博士研究生,CCF会员，主要研究方向:数据库、本体论、信息建模;
    刘大昕(1941-)，男，江苏海门人，教授，博士生导师, 主要研究方向: 数据库与知识工程。

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

Wen-lin PAN1,2,Da-xin LIU3   

  1. 1. College of Mechanical and Electrical Engineering, Harbin Engineering University, Harbin Heilongjiang 150001, China
    2. Heilongjiang Modern Manufacturing Engineering Research Center, Harbin Heilongjiang 150001, China
    3. College of Computer Science and Technology, Harbin Engineering University, Harbin Heilongjiang 150001, China
  • Received:2010-08-10 Revised:2010-10-04 Online:2011-04-08 Published:2011-04-01
  • Contact: Wen-lin PAN

PDF

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

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

Abstract: 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.

Key words: Object Role Modeling (ORM), Web Ontology Language (OWL), Description Logic (DL), model mapping

中图分类号: 

版权所有 © 2021 四川计算机应用杂志社有限公司
蜀ICP备 05010208 号-3　新出网证(川)字026号
技术支持：北京玛格泰克科技发展有限公司
访问总数：
今日访问：