基于OWL的工作流异常处理建模方法

针对工作流异常和本体的特点,提出了任务属性的概念和基于网络本体语言(Webontology language,OWL)本体推理及属性驱动的异常识别方法。任务属性扩展了工作流活动模型(Workflow activity model,WAMO)模型的事务属性,并附加在流程任务之外,利用OWL本体语言对其进行描述,通过任务属性建立起任务异常与处理模式之间的映射关系。在任务发生异常后,OWL本体推理机通过已定义的映射关系使任务异常检索到异常本体中根据属性描述的异常处理模式,进而对任务异常做出相应的处理。由于OWL的定义是增量式的,并且具有通用资源标识符,因此不仅可以使异常处理机制通过语义而非关键字来识别任务异常的处理模式,而且还能在分布式环境下对异常知识库进行扩展式开发,减少知识库开发的工作量。     

基于OWL本体的关系数据库语义映射方法的研究

网络环境下不同关系数据库之间普遍存在着语义冲突,为实现系统互访,需要进行语义映射．针对目前关系数据库语义映射方法的不足,提出基于0WL本体的关系数据库语义映射方法,定义了从关系数据库到OWL本体的映射规则,描述了本体环境下语义冲突的检测算法,并针对几种常见的语义冲突给出了相应的解决方法．将关系数据库转换成OWL本体后,增强了关系数据库之间语义互操作的能力,实现了语义层次上的信息共享和交换,可以较好地解决关系数据库的语义映射问题．     

复合元在数据库中存取方法的研究

给出了类复合元这一概念的形式化描述,为了在计算机中应用复合元解决矛盾问题,提出了在关系数据库中有效存取复合元的方法,并给出了相应的实例.     

基于本体的产品知识集成

针对产品生命周期中知识表达和集成的需求,提出一种基于中间层的产品知识集成框架,采用本体技术,具有显式定义语义、统一表达和动态集成产品知识的能力.元本体层定义了本体关系原语,提供通用的本体描述方法;本体层扩展元本体为共享本体、领域本体、过程本体和应用本体,支持本体的协作定义和集成映射;知识层提供了相应的逻辑结构,支持对知识实例的结构化、标准化管理,并给出使用Web本体语言（OWL）形式化表达的方法.以汽车减振器为实例说明该方法能有效提高产品数据管理（PDM）系统对知识集成的能力.     

态势估计本体的知识表示

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

OWL本体在纺织企业的应用

探讨了本体技术和Web技术对纺织企业资源系统的支持。根据纺织企业的特点设计和建立了系统各模块的本体模型,并采用OWL本体语言对部分模块进行形式化描述。以某纺织企业的信息系统为实例,说明了OWL本体在纺织企业系统中的应用。结果表明,此模型能实现语义查询、信息共享和系统间的集成。纺织企业本体是企业内部或企业间公共的知识化描述,不仅可以促进知识共享和语义互操作问题,还方便了纺织企业内部和企业间知识管理和信息交换。     

OWL本体在纺织企业的应用

探讨了本体技术和Web技术对纺织企业资源系统的支持。根据纺织企业的特点设计和建立了系统各模块的本体模型,并采用OWL本体语言对部分模块进行形式化描述。以某纺织企业的信息系统为实例,说明了OWL本体在纺织企业系统中的应用。结果表明,此模型能实现语义查询、信息共享和系统间的集成。纺织企业本体是企业内部或企业间公共的知识化描述,不仅可以促进知识共享和语义互操作问题,还方便了纺织企业内部和企业间知识管理和信息交换。     

扩展OWL处理模糊知识

为了解决模糊Ontology的表示和推理问题,本文结合网络本体语言OWL的特点,在模糊描述逻辑的基础上,构建了RDF/XML式的模糊算子和公理．用来表达Ontology中的模糊概念和模糊声明;提出了OWL到模糊算子的转换规则,统一了模糊Ontology中确定知识的表示方法．最后,利用新增模糊词汇和转换规则解决了视频提取领域的模糊知识表示和推理任务．     

基于本体的面向业务协作的异构系统互操作关键技术

为了解决目前业务协作过程中异构系统集成困难的问题,提出了基于多层次本体的异构系统互操作框架.该框架以业务协作过程中涉及的关键要素——产品、活动和过程为出发点,为实现协作过程中多要素的语义统一问题,提出了由产品知识本体、活动本体、过程本体组成的多层次本体模型.产品知识本体支持活动本体中的产品描述;活动本体是对过程中每一个步骤或行动的概念、功能、执行情况的描述;过程本体通过控制结构将各个活动连接起来,组成业务过程.采用组合映射理论和语义相似度算法实现不同本体库之间的语义映射和语义集成,从而构成顶层本体库,并通过OWL-S顶层服务本体描述发布和请求Web服务.以服装销售的业务过程为例,采用业务协作互操作机制,通过自行开发原型系统中的本体映射和语义匹配模块,解决了不同企业的订单活动的协作问题.     

零件库中基于本体的智能搜索引擎的研究与实现

提出了开发零件库中基于本体的智能搜索引擎的研究内容，设计了一种智能搜索引擎的系统架构.本体是克服由于零部件信息描述不一致引起的信息共享障碍的重要工具，为此建立了面向零件信息描述的4层描述本体模型，具体论述了该模型中的领域层、事件层、目录层和概念层的具体内容，设计了用以建立用户接口的六元智能查询模型和系统中的查询逻辑流程，并且详细论述了六元智能查询模型与4层本体模型间的映射方法.根据理论开发的系统在企业中的应用实例表明,4层本体模型能够较合理全面地描述零件信息，面向用户接口的六元智能查询模型较贴近自然语言，方便了用户的使用，因此按照该方法建立的基于本体的智能搜索引擎可以提高互联网零件库的使用效率.     

OWL:一种用于语义网的描述逻辑

本体是语义网中的重要内容,它通过提供一个共享的、精确定义的术语源将语法扩展到语义.OWL是专门为Web设计的本体语言,它利用现有的Web标准(XML和RDF),添加了面向对象和基于框架的系统中常见的本体原语,具有强表达性的描述逻辑的严格形式化.OWL的逻辑基础是可以提供推理服务,既支持本体设计,又使得其在描述网络资源方面更接近于自动处理过程.     

面向语义Web的Expressive格值描述逻辑

提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。     

基于OWL的设计模式正规化描述

设计模式对于程序开发以及软件工程都具有越来越重要的作用.充分利用设计模式,需要有效地描述设计模式,进而解决人和计算机同时能够理解、交流和运用设计模式的问题.然而现有的设计模式描述方法或多或少地存在不足,针对此提出基于OWL的设计模式正规化描述的初步解决方案,以期推动该问题的进一步解决.     

复杂产品工艺知识的语义本体表达方法

针对知识技术在产品工艺知识资源管理的可用性现状,在分析面向企业协同设计的复杂产品工艺知识多元化特点的基础上,提出一种面向语义的复杂机械产品工艺知识领域本体的表示和构建方法,通过利用本体建模工具建立工艺知识本体的结构模型,并采用描述逻辑语言对工艺知识进行形式化描述。针对不同知识本体间在语义层面上的关联,引入产品工艺知识本体概念间相似度和相关度的语义评价方法,设计了一种面向语义的本体概念集关系度量,进一步对语义本体工艺知识进行检索和聚类,保证了复杂产品工艺知识的集成与共享的实现。     

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。