您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

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

发布时间:2019-07-19 21:07 来源:未知 编辑:admin

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

  第3l卷第4期 2011年4月 文章编号:1001-9081(2011)04—1062一05 计算机应用 Journal of Computer Applications V01.3l No.4 Apr.2011 doi:10.3724/SP.J.1087.2011.01062 使用OWL DL形式化表达对象角色建模模型 潘文林1’2,刘大昕3 (1.哈尔滨工程大学机电工程学院,哈尔滨150001;2.黑龙江省现代制造工程技术研究中心,哈尔滨150001; 3.哈尔滨工程大学计算机科学与技术学院,哈尔滨150001) (panwenlin@hrb¨.edu.ca) 摘要:对象角色建模(ORM)方法已应用于本体工程,因此需要将ORM模型转换为OWL DL公理,以便将ORM 本体发布到语义Web上,同时还可使用支持DL的推理机来检查ORM本体的语义一致性和冗余问题。通过模型语义 分析、模型等价转换、引入新的运算符和特性等方法,提出将ORM模型形式化表达为OWL DL公理的规则。除了外 部唯一约束等四种约束外,其他形态的ORM模型都可以形式化表达为OWL DL公理。 关键词:对象角色建模;Web本体语言;描述逻辑;模型映射 中图分类号:TtBll 文献标志码:A Representing object role modeling models with Web ontology language description logic axioms PAN Wen.1in“。.LIU Da.xin3 (1.CoV.ge ofMechanical and Elearical Engineering,Harbin Engineering University,Harbin Heilon酊iang 150001,Ch/na; 2.Heilon酊iang Modem Manufacturing Engineering R∞eamh Center,Harbin Heilongfiang 150001,China; 3.College of Computer Science and Technology,Harbin Engineering University,Harbin Heilongjiang 150001,China) Abstract:Object to represent ORM ORM ontology on Role Modeling(ORM)has been used in ontology engineering to to model domain ontology,which need8 to models in OWL DL axioms the semantic check semantic conflicts and redundancy with DL reasoners,and publish Web.By new meau¥of comparing the semantics of ORM operators model and OWL DL to axioms,equivalently models in model?convening,and introducing and properties,that mapping rules represent ORM OWL DL axioms was proposed.Except Role a few constraints,most ORM model elements Can be represented by OWL DL axioms. Key words:Object Modeling(ORM);Web Ontology Language(OWL);Description Logic(DL);model mapping 0 引言 对象角色建模(Object Role 义模型转换为OWL的形式化公理。 使用ORM模型来表达本体知识,需要通过推理来检查 Modeling,ORM)是一种面向 模型的语义冲突和冗余等问题,目前还没有支持ORM模型 推理的推理引擎。目前,多数推理引擎支持描述逻辑 (Description Logic,DL),而OWL DL的逻辑基础是描述逻辑 的一个子集SHOIN,有推理引擎支持。 基于上述两个原因,有必要深入研究如何用OWL DL形 式化表达ORM 2.0的模型。现有的相关研究包括:Jarrar研 究了如何将ORM映射为描述逻辑DL埘(一种支持标识和函 数的描述逻辑),提出了映射规则”1,同时他还研究了如何将 ORM映射为描述逻辑SHOIN,并提出了映射规则m’;Nguyen 等人也研究了将ORM映射为描述逻辑SHOIN的一些基本规 则‘7J。Jarrar完整地研究了对ORM各种模型形态的映射方 法,但缺少对对象类型建模原语及取值约束等的映射分析; DLi卅的逻辑结构与SHOIN不完全相同,前者通过标识运算支 持多元关系的描述,后者则只能支持二元关系,使用前者可以 表达大部分ORM模型,但使用后者则不行;虽然SHOIN是 OWL DL的逻辑基础,两者在语义上是等价的,但表达形式完 事实的概念建模方法,是在自然语言信息分析方法(Natural language Information Analysis Method。NIAM)基础上发展起来 的…。与实体联系(Entity Relationship,ER)建模和统一建模 语言(Unified Modeling Language,UML)等实体/对象建模方法 不同,ORM的信息模型中没有属性的概念,因此能够构建更 加稳定的模型,表达更复杂的业务规则。更重要的是,由于 ORM源于NIAM,其概念模型可以完全转换为伪自然语言描 述,这样就可以让领域专家通过阅读伪自然语言描

http://39-5963.net/gongliyuyi/621.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有