Formal Analysis of ORM Using OWL DL

摘要：

ORM (Object Role Modeling), current version is 2.0, is a fully communication oriented information modeling method. Currently, ORM has been used in ontology engineering to model domain ontologies. To ensure the semantics of ORM model is consistent, it needs using reasoning engines to check semantic conflicts and redundancy. Furthermore, only publish ORM domain ontologies on the Semantic Web described by OWL can it is shared by different applications. Therefore, it needs to map ORM models into OWL DL. Several methods to transform ORM models have been considered and a series of general OWL DL formalization rules have been proposed.

关键词： Object Role Modeling ORM OWL DL Description Logic Formal Analysis

作者: PAN Wen-lin LIU Da-xin

作者单位: College of Mechanical and Electrical Engineering Harbin Engineering University Harbin 150001, China College of Computer Science and Technology Harbin Engineering University Harbin 150001, China

会议类型: 国际会议

会议名称: 2010 International Conference on Software and Computing Technology(2010年软件与计算机技术国际会议 ICSCT 2010)

会议地点: 昆明

会议语种:英文

页码: 314-318

在线出版日期: 2010-10-17（万方平台首次上网日期，不代表论文的发表时间）