检索结果-内蒙古大学图书馆

作者：刘磊金英郭德贵付燕宁张长海杨冬张晶胡谦贾成宇金龙飞王泽生刘喆吉林大学

1、简要技术说明 1)理论研究模型驱动语义网(MDSW)是语义网研究的崭新领域,本体定义元模型(ODM)是该领域的核心。当前,国际组织OMG(对象管理组织)的ODM标准还没有制定完成,现有的ODM提案没有严格的形式化描述,这给本体模型的研... 详细信息

标准号: gkls101925

1、简要技术说明 1)理论研究模型驱动语义网(MDSW)是语义网研究的崭新领域,本体定义元模型(ODM)是该领域的核心。当前,国际组织OMG(对象管理组织)的ODM标准还没有制定完成,现有的ODM提案没有严格的形式化描述,这给本体模型的研究和应用带来了很大不便。我们以形式语义学理论为指导,在ODM的表示方式、不同元模型间的关系、ODM的形式化规范和ODM的形式语义等方面进行研究,提出并实现了具有严格形式化定义的本体定义元模型,解决工程性标准形式化程度不高的问题,为进一步的研究和应用奠定了基础。 2) 技术研究由于复杂性和专用性的原因,现有的本体开发方法和工具不利于本体的广泛应用,模型驱动语义网的出现改变了这种状况。但是,本体建模方式及本体表示形式的变化,对本体的创建、管理和演化技术提出了新的要求。我们以本体定义元模型为基础,重点研究了本体工程方法和技术,包括本体建模方法、本体存储方法、本体融合方法、本体演化方法等方面的研究。 3) 应用研究语义网服务是语义网应用的主要形式。我们基于标准的语义网服务描述语言(OWL-S),建立形式化的语义网服务元模型,并以该元模型为基础,通过本体建模工具,建立领域服务本体模型,实现语义网应用的开发。并利用这种领域本体建模技术,在交通领域实现一个智能交通信息系统。 2、推广应用前景：项目组在本体定义元模型方面进行了深入的研究,所取得的成果已在国家无线电管理系统当中得到初步应用。 1)本体定义元模型偶图语义,可以作为进一步研究模型驱动语义网的基础和指导,也可以作为本体建模工具、管理工具及推理工具开发的基础。 2)本体演化服务模型,可以作为语义网服务领域研究和开发的基础,其中体现出的基于模型驱动的开发模式不仅对语义网的应用开发,而且对于现在流行的Web服务开发也具有重要的指导意义。 3)本体建模管理原型系统,可以直接应用于语义网开发,其直观、简便的特点必将得到Web应用开发人员的喜爱;其类似UML的建模方式,对于软件开发人员也是很有吸引力的;最重要的是,这种新型的本体建模方法,可以降低对本体工程师的要求,使他们可以更加专注于领域知识的分析,提高其工作效率。 4)将语义网服务元模型、Pi演算和动态描述逻辑等技术应用于语义Web开发,对于如何重用已有的服务,并通过自动化、可管理的方式进行合成,来生成新的应用系统以满足企业的动态需求具有重要的意义,也必将成为推动Web服务不断向前发展的技术动力。总之,开发模式和效率是语义网能否大规模应用的关键。模型驱动语义网作为一种新型的高效开发模式必将在未来一段时间内成为语义网开发的主流,因而具有广阔的市场空间和广大的用户群,其发展前景非常乐观。

关键词：本体定义元模型语义网

来源：评论

学校读者我要写书评

暂无评论

基于OCL的本体模型校验方法

引用

计算机应用与软件 2015年第5期32卷 7-11,53页

作者：钱鹏飞王英林张申生上海宝信软件股份有限公司上海201900 上海交通大学电子信息与电气工程学院上海200240

将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基... 详细信息

将集合关系理论与本体模型相结合,同时引入并扩展面向对象中的OCL(Object Constraint Language)语言,提出一种基于OCL的本体校验方法。该方法从大量本体模型中抽象出一个本体定义元模型ODM(Ontology Constraint Meta-model),该元模型基于集合关系理论,将本体模型划分为"实体相关元素"和"约束规则相关元素",并通过一系列OCL扩展函数来完成上述两种本体模型元素的形式化表示,以完成基于OCL的本体模型形式化校验。最后,通过宝钢信息共享平台车辆管理本体片段的本体模型校验实例,进一步讨论如何使用该模型校验方法实现本体模型的冲突检测和冲突消解。

关键词：本体校验集合论 OCL 本体定义元模型冲突消解

来源：评论

学校读者我要写书评

暂无评论

面向元模型的本体模型校验

面向元模型的本体模型校验

引用

第九届中国钢铁年会

作者：钱鹏飞王威上海宝信软件股份有限公司

在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验。目前,有关本体模型的形式化校验大都是围绕单个概念或关系来进行,而多个概念和关系之间的结构及约束信息却未得到充分利... 详细信息

在本体合并和映射过程中,经常会产生新的本体模型,为了保证这些本体模型在逻辑上的正确性,需对其进行形式化校验。目前,有关本体模型的形式化校验大都是围绕单个概念或关系来进行,而多个概念和关系之间的结构及约束信息却未得到充分利用。为此,本文引入面向对象中的OCL(Object Constraint Language)语言,并针对本体应用环境进行了相应语言约束扩展,进而完成了对本体定义元模型ODM(Ontology Definition Model)约束和描述,从而实现了本体模型结构及约束逻辑描述的形式化表示。最终,提出了采用本体定义元模型来辅助进行本体模型形式化校验的方法。

关键词：本体校验 OCL 本体定义元模型本体设计模式

来源：评论

学校读者我要写书评

暂无评论

基于ODM实现电力领域公共语义建模

引用

电力系统自动化 2013年第4期37卷 75-79,103页

作者：刘文颖刘延乐王一达李吉勇新能源电力系统国家重点实验室华北电力大学北京市102206 东方电子股份有限公司山东省烟台市264001 杭州市电力局浙江省杭州市310009

公共语义模型是解决IEC 61970和IEC 61850标准无缝衔接的核心,但在具体建模应用实践中,还需要进一步解决如何提高模型及模型映射的表达能力和自动维护能力,以及增强其在业务建模方面的拓展能力2个方面的问题。文中引入本体定义元模型(OD... 详细信息

公共语义模型是解决IEC 61970和IEC 61850标准无缝衔接的核心,但在具体建模应用实践中,还需要进一步解决如何提高模型及模型映射的表达能力和自动维护能力,以及增强其在业务建模方面的拓展能力2个方面的问题。文中引入本体定义元模型(ODM),按照模型驱动架构(MDA)的思想,在美国电力科学研究院(EPRI)的公共语义模型的基础上,建立了从构建可视化建模环境到最终的领域业务建模的一个完整的电力系统建模框架。并重点就其中的元模型可视化构造、网络本体语言(OWL)业务建模方法、映射引擎设计以及约束及推理机制等关键技术结合具体实例进行了深入研究。实践表明,该框架一方面可以提高公共语义模型清晰、灵活的表达能力,另一方面实现了从静态建模到具体领域业务建模的拓展。

关键词： IEC 61970 IEC 61850 公共语义模型本体定义元模型模型驱动架构电力业务建模

来源：评论

学校读者我要写书评

暂无评论

基于MDA的模糊本体生成方法

引用

应用科学学报 2007年第5期25卷 541-543页

作者：唐新香缪淮扣上海大学计算机学院上海200072

该文提出一种基于MDA的模糊本体生成方法.该方法将本体定义元模型ODM扩展为模糊本体定义元模型FODM,采用元对象设施MOF定义模糊本体建模语言FOML,并分别建立FODM与FOML及FOML与模糊本体描述语言FOWL之间的映射.这样在可视化FOML的环境... 详细信息

该文提出一种基于MDA的模糊本体生成方法.该方法将本体定义元模型ODM扩展为模糊本体定义元模型FODM,采用元对象设施MOF定义模糊本体建模语言FOML,并分别建立FODM与FOML及FOML与模糊本体描述语言FOWL之间的映射.这样在可视化FOML的环境中创建模糊本体模型,根据FOML与FOWL之间的映射可以直接生成对应的OWL本体文档.该方法可以提高模糊本体的创建效率.

关键词：模型驱动架构本体定义元模型模糊SHOIN(D) 模糊OWL 模糊本体模糊本体建模语言

来源：评论

学校读者我要写书评

暂无评论

基于ODM的本体建模方法研究

基于ODM的本体建模方法研究

引用

作者：张炜吉林大学

学位级别：硕士

自从语义Web的概念于2000年提出以后,语义Web、本体及其描述语言成为研究热点,如何利用UML技术对本体建模也被极大关注。2003年OMG发布了ODM请求建议案,旨在统一本体的UML建模理论和方法,IBM等公司提交了自己的草案。本研究工作是对IBM... 详细信息

自从语义Web的概念于2000年提出以后,语义Web、本体及其描述语言成为研究热点,如何利用UML技术对本体建模也被极大关注。2003年OMG发布了ODM请求建议案,旨在统一本体的UML建模理论和方法,IBM等公司提交了自己的草案。本研究工作是对IBM提案的实现和丰富。内容主要包括两个部分:一,以IBM提案的ODM元模型为理论依据,根据若干原则对其UML本体扩展集(UOP)进行某些修改和补充,并在特定UML建模工具中实现和部署该扩展集;二,实现了将本体模型XMI文档转换为OWL文档的映射工具。该两部分成果结合成为一种本体的UML建模环境。基于提高UOP精确性的考虑,本文探讨了对UOP加入某些OCL约束的方法,即考虑对UOP中所有关联构造型实例的源端对象和目的端对象的构造型进行限制,使本体模型的潜在错误能够在早期验证中发现并解决。最后本文分析了研究的意义,并对后续工作作出展望。

关键词：本体本体定义元模型 UML本体扩展集文档对象模型

来源：评论

学校读者我要写书评

暂无评论

基于模型驱动架构的语义化电信服务建模方法研究

基于模型驱动架构的语义化电信服务建模方法研究

引用

2011中国计算机学会服务计算学术会议(CCF NCSC 2011)

作者：曹栋李晓峰乔秀全孟洛明北京邮电大学网络与交换技术国家重点实验室

语义化电信服务是语义Web服务理论和电信服务相结合的产物,具有"智能性"、"语言无关"和"平台无关"等特性,是电信服务的发展趋势之一。但是目前缺乏针对语义化电信服务的建模方法和建模环境,影响了语义化... 详细信息

语义化电信服务是语义Web服务理论和电信服务相结合的产物,具有"智能性"、"语言无关"和"平台无关"等特性,是电信服务的发展趋势之一。但是目前缺乏针对语义化电信服务的建模方法和建模环境,影响了语义化电信服务的发展。为此,提出了基于模型驱动架构(MDA)的语义化电信服务建模方法,包括提出了语义化电信服务在MDA基础之上的表达机制(TODM),以及在模型转换中采用服务发现的模式替代传统的基于转换规则的转换模式。首先详细阐述了语义化电信服务的建模方法;最后,给出语义化电信服务建模的原型系统,分析并说明了所提方法的可行性。

关键词：模型驱动架构本体语义化电信服务本体定义元模型

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：