集成环境下基于特征的CAD/CAPP零件信息集成的实现方法

在详细分析零件的CAD特征模型与CAPP特征模型之间关系的基础上 ,提出了一种集成环境下基于特征的CAD/CAPP系统信息集成的实现方法。系统采用参数化特征描述法描述和输入零件信息 ,采用特征数据提取法从CAD系统中提取CAPP系统需要的特征信息 ,在设计零件的同时 ,即可产生工艺设计所需的全部信息 ,从而自动生成零件的加工工艺规程 ,达到了CAD/CAPP系统的信息集成。该方法的关键技术在II-CADCAPP实验系统中得到实现。     

基于本体和规则的物流知识表示与推理

为了解决物流领域相关概念的共享和信息集成问题,研究了物流配送过程中相关知识的表示以及基于知识的推理．应用本体论方法分析配货规则,使用本体中表示的概念和属性制定配货规则库．运用Jena推理子系统,对本体和配货规则进行推理,开发了一套基于本体和规则的自动配货系统．由于本体是共享概念模型明确的、形式化的规范描述,可以利用本体强大的语义表达能力、本体所描述的共享知识以及自动推理机制,实现物流企业之间以知识集成为基础的业务集成．     

分布式环境下基于形式化领域本体的查询处理

为了提高语义Web查询的查全率和查准率,文中提出了一种基于形式化领域本体的查询处理方法.首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;然后基于转换后的形式化领域本体,采用含半幺群概括演算作为基于形式化领域本体查询转换的目标语言,定义了用户查询到含半幺群同态查询的转换规则和语义优化处理、查询重写规则,最后通过实验验证了该方法的查询性能.     

基于Q的多代理语义信息互操作查询系统

在引入并实现本体映射的基础上，基于Q语言(一种设计代理(Agent)和用户交互的场景描述语言)，提出了一个语义Web上多Agent信息互操作查询系统．该系统由领域本体服务器、本体映射服务器、语义信息源、以及多Agent查询系统组成．映射服务器通过映射规则提供概念转换功能，Q用于描述和统一多Agent查询系统中的Agent到Agent以及人到Agent的交互．系统结构的原型实现表明：通过Q场景(scenarios)，终端用户可以灵活和交互地控制多个Agent的行为，以实现信息互操作查询．     

基于STEP标准的CAD／CAPP特征信息模型研究

在研究零件CAD特征信息模型的基础上，基于STEP标准提出了零件CAPP特征信息描述的自动生成的方法与措施，以实现CAD/CAPP之间的零件特征信息集成与共享。     

基于本体论的工艺信息描述方法研究

依据本体论的概念论述了零件信息和制造资源信息的描述方法，给出了它们本体的定义方式。描述了零件本体和特征本体的属性，分析了各本体间和本体属性间的关系。以开发的CAPP系统为例，阐述了此描述方法在实际应用中体现出的特点。     

箱体零件CAD/CAPP集成系统的研究与设计

介绍一种基于特征的箱体类零件CAD/CAPP集成系统，针对CAPP系统的三个技术关键-零件CAD信息的描述与输入、工艺决策的实现、工序图和工艺文件的自动生成，进行研究并提出了相应的技术策略。     

知识基工艺设计专家系统

系统使用Visual Prolog语言，基于知识进行计算机辅助工艺设计。在系统中采用零件特征与加工特性相结合的方法描述零件；分层和分类收集存放知识，知识基与推理机分离，用户可以打开知识库根据要求修改知识；推理机制采用反向推理，进行合一算法自动生成工艺规程。     

CAPP多专家系统研究

将工艺过程设计中针对单一类别零件的多种专家系统(如回转类零件 CAPP 系统、箱体类零件 CAPP 系统等)有机地组合起来,开发了一个多元化的覆盖面广的 CAPP 多专家系统(MES—CAPP),给出了基于并行工程的系统总体结构,并对其中的零件信息描述与输入、知识表达与组织结构以及工艺设计评价与调整等关键技术问题进行了探讨。     

面向集成的孔特征CAPP研究

运用特征理论和Ｃ语言，按照ＣＩＭ系统集成化要求，研究了基于面向零件孔特征的信息描述及组织；运用加工知识推理，实现加工工艺规程的自动生成。     

基于属性文法的本体形式化描述方法及其应用

在分析本体概念和性质的基础上,提出一种基于简单属性文法的本体形式化描述方法,其中文法产生式描述本体内的各种逻辑关系,为逻辑层推理奠定了基础,通过属性求值规则实现本体的语义;设计一种属性求值器的构造方法,在此基础上实现基于语义的信息检索模型;将基于XML(extensible Markup Language)的本体元数据模型作为属性求值器处理的对象,提供相应的文档类型定义(DTD:Document Type Definition)以指导XML文档的创建;结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度;通过改变产生式、属性及属性求值规则可扩充此方法.     

基于领域本体的信息搜索模型

针对目前的搜索模型局限于语法层次上关键词匹配的特点,以领域本体作为知识组织方式,提出了一种语义环境下基于本体的信息搜索模型.在此模型的基础上,分别提出了文档语义标注算法和搜索词语义扩展算法,两种算法分别对文档集语义分析和搜索词语义关系理解,实现双向语义信息搜索的目的.实验结果表明,提出的信息搜索方法能够克服关键词匹配搜索的不足,获得较好的搜索效果     

基于ontology的智能答疑系统的研究

在受限领域自动问答系统中,用户问句的语义理解是提高查询效率的关键。提出了一种基于本体的自动问答系统模型,对领域知识本体的构建进行了研究。利用本体中丰富的语义关系,对用户的问题查询请求进行语义扩展,提高问答系统的准确性。     

基于OWL DL的本体推理机设计与实现

语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推理编程的核心技术,提出一种基于Pellet和Jena的叠加推理机框架.最后开发了一个OWL DL本体推理机原型,实现了本体知识库一致性、分类和可实现性推理服务.     

RDFS表示本体建模语言OIL的一种方法

给出扩充RDF Schema使之能够表达完全的知识表示语言的方法. 通过为这种语言增加必要的表达能力和语义来完善RDF Schema, 使RDF Schema能够描述本体建模语言OIL. 进一步给出OIL原语的RDF Schema定义： 任何OIL本体都可以使用RDF语法表示, 从而使其具有OIL的推理支持和形式化语义. 这种扩充方法同样也适用于其他知识表示的形式化.     

EXPRESS 向 OWL2 本体模型自动转换研究

为解决 EXPRESS 向本体转换中存在通用性差、 缺乏映射规则的形式化和自动转换等问题, 在不依赖领 域情况下, 提出两种语言间映射的形式化规则和自动转换算法。 该映射规则和算法实现了基于 EXPRESS 的石 油勘探开发国际标准数据模型(Epicentre)向本体的自动转化。 采用 Jena 推理验证了所构建的 Epicentre 本体的 准确性、 完整性和一致性。 结果表明, 该映射规则与自动化算法的有效性和普适性。     

C-OWL2∶OWL2在云模型上的扩展

为了表示现实生活中广泛存在的模糊性和随机性不确定知识,引入云模型对OWL2语法进行了不确定扩展,提出不确定本体语言C-OWL2.这种方法不改变OWL2的现有结构,用OWL2的注释属性annotation进行语法扩展,并给出了相应概念、角色等的C-OWL2语法,最后举例说明其具体使用方法.研究结果表明,该方法将OWL2本体分为精确部分和不确定部分,并且当不考虑不确定部分时,不影响精确部分知识的表示和推理;该方法是对模糊描述逻辑功能的扩展,解决了OWL2语言只能处理精确本体的问题.      

基于关系数据库的OWL本体存储及查询方法

针对当前本体存储管理效率低的问题,对如何将本体在尽可能保持语义的情况下存储到关系数据库中进行了研究.以OWL作为本体描述语言设计了关系数据库存储模式来存储本体,并以物流OWL本体片段为实例展示了存储和查询方法.     

基于依赖关系图模型的本体演化影响分析

基于描述逻辑子语言SHOIN(D)定义本体中各元素间的依赖关系, 再通过依赖关系建立本体依赖关系图模型, 并给出了变化影响频度的概念及相应的
计算方法.