Combining ODM and OCL in ontology verification

In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.     

一种基于P2P分层结构的网格资源发现模型

网格资源发现是网格研究中的重要组成部分,随着P2P网络的兴起,许多新的概念和研究方向为网格研究提供了思路.该文在分析了现有网格资源查找方式不足的基础上,提出了一种基于P2P分层结构的网格资源发现模型.模型针对网格资源的特点引入了本体和语义相关度概念,在此基础上将网格资源进行分层管理,并借鉴了iVCE体系结构,提出了本体共同体的概念从而较好解决了虚拟组织内节点的动态自组织问题,较好实现了网格资源的聚合以及动态增减问题.     

基于Web服务的Agent模型研究

提出了兼容FIPA Agent的基于Web服务的WS-Agent模型.该模型将Agent分为通讯层、中间消息层和本体层.通讯层为双通道结构,一个用于ACL通讯,另一个用于Web服务通讯.中间消息层将ACL或SOAP消息格式转换为本体处理的统一消息格式.本体层是Agent的逻辑单元.UDDI-DF是兼容Agent DF和Web服务UDDI的目录服务模型,它以Agent DF为中心,利用服务描述翻译器和UDDI代理实现Web服务描述的操作.最后给出了WS-A-gent的通讯机制.     

基于语义网络的产品建模及配置方案搜索

对基于语义网络的产品建模及配置方案的搜索方法进行集成研究,以提高产品配置设计的效率.在相关本体的基础上,建立基于语义网络的产品模型结构,并据此解析用户所输入的查询语句.基于语义网络的产品模型提供一种定量与定性相结合的一致化的设计实例与需求的表达方式.进一步通过产品的语义网络模型可以获取设计需求的隐含条件,使得需求在设计方案的搜索匹配过程中被更充分地考虑.利用基于语义网络的推理技术与本体语言RDFS构造待求配置设计问题的语义网络片断,并通过语义搜索与匹配度计算排序从设计实例库中获取符合当前需求配置设计方案;同时,通过注塑机螺杆为实例的应用,证明了基于语义网络的产品模型在支持配置选型设计方案搜索方面的有效性与实用性.相对于传统的产品模型而言,基于语义网络的产品模型更关注属性之间的内部联系,经实例验证基于语义网络的产品模型使得配置设计过程更符合用户的实际需求.     

由《李娃传》的结局管窥唐代社会及文人意识

联系唐代的门阀观念和户婚制度,阐述了唐传奇《李娃传》中郑生与李娃的爱情婚姻的理想结局的意义。认为传奇作者设置的理想结局,是对门阀制度和户婚律的嘲弄,同时反映了文人本体意识和平等意识的觉醒。     

态势估计本体的知识表示

本体作为一种有效表现概念层次结构和语义的模型,能够准确地描述态势估计领域的态势要素及其相互关系,便于利用计算机实现知识共享.为在一体化信息作战中实现态势信息的共享,基于本体和态势估计基础理论,探讨了将本体应用到态势估计领域的方法.对态势估计过程进行分析,以具体战场场景为实例,建立了态势估计的本体体系结构和基于UML的本体模型,并运用protégé工具进行本体编辑,实现对态势的OWL本体语言描述.     

语义Web作为背景知识的本体匹配

提出了一个基于语义网为背景知识的本体匹配模式,即自动寻找和检索各种网络的知识资源得出映射,根据一些关键问题获得可行的模式、提供一个良好性能的匹配方法.采取了一个大规模的匹配为实验背景,检验了以语义网为背景知识的本体匹配模式的可行性、局限性、与其他技术的结合性.实验结果表明以语义Web为背景知识的方法本体匹配的精确度为70%.说明以语义Web为背景知识的本体匹配是对现有技术的补充,并可兼容于其他方法,其匹配的精确度也有了进一步的提高.     

基于本体及相似度的文本聚类研究*

为了改善文本聚类的质量,得到满意的聚类结果,针对文本聚类忽略概念的内涵及缺少概念间的联系,设计和改进了基于本体和相似度的文本聚类方法TCBOS(text clustering based on ontology and similarity)。研究了文本预处理及分词的方法,设计了用有限状态自动机来自动提取概念和关系的方法,对概念语义扩展和相似度计算方法进行了改进和完善,通过应用本体的语义相似度来度量文档间相近程度,完善了根据相似度进行文本聚类的K中心点算法。实验证明,该方法从聚类的准确性和聚类的关联度方     

基于本体的FMEA知识库的构建方法研究

为合理有效地利用失效模式与后果分析(potential failure mode and effects analysis,FMEA)知识,针对在解决制造过程中进行质量问题的分析和处理时,由于受现场人员知识和经验水平的制约而使分析结果具有极大的不确定性问题,提出了基于本体论构建的FMEA知识库,对FMEA过程形成的知识进行有效提取和集成.研究了FMEA知识的获取和分类,建立了一个基于本体的FMEA知识表示模型,并给出了一个基于本体的FMEA知识库框架结构,讨论了基于本体的FMEA知识检索和知识库的维护.通过FMEA知识库的建立,为质量问题的处理和分析提供了一个有效的决策支持途径.     

钢丝挤出覆胶机头

本实用新型为一种用于子午胎的钢丝帘线覆胶的挤出机机头，至少包括左、右机头，左、右机头连接成机头本体，机头本体一端设有胶料进口；机头本体一侧设有钢丝进口．另一侧设有钢丝和胶料出口，在钢丝和胶料出口上下2侧的左、右机头之间沿机头纵向设有连通于胶料进口和出口的覆胶流道，