产品建模中本体层的表达规则

针对目前产品本体建模技术中存在的一些问题,从本体在知识表达层次中的作用人手,以分析哲学意义上的本体论为理论基础,结合概念的元属性分析理论,从建模语言和本体结构两个层次上对本体建模的规范进行了研究。     

Web本体语言OWL及在产品信息表达中的应用

STEP标准和STEP标准的形式化信息描述语言EXPRESS在数据格式上统一了产品信息的建模标准,实现了语法层面上的数据交换和互操作能力.而当今计算环境要求基于语义Web的语言来描述产品信息,以实现产品信息在知识级的交换和共享,STEP没有提供这种特性.介绍了由W3C主持制定的Web本体语言OWL,并用实例给出了OWL在产品信息表达中的应用.     

基于本体的产品知识表达

产品开发过程分工的加强、市场和全球化竞争的激烈都要求工厂能够更迅速地生产更廉价和质量更高的产品，而这需要一个更有效并且强有力的产品知识管理系统，以支持产品知识的表达、重用、共享和交流等．研究了产品知识表达的模型，即S—B—F，结合本体描述语言构建了流本体和功能本体，设计出基于本体的产品知识表达，并进一步提出了可行的应用模型。     

基于知识元本体的知识统一表示

分析描述逻辑和本体论语义,提出知识元本体论点,并用Web本体语言OWL详细地构建了知识元本体的初步版本.提出基于知识元本体的知识表示方法.从而为构建具有更小知识单元共享粒度和知识语义推理的知识库系统提供统一的知识元本体定义.     

基于本体的产品知识表示方法研究

知识表示方法在表达、传递和共享过程中,不能同时满足表示能力、可理解性、可操作性以及可实现性的要求。针对上述问题,本文采用本体的知识表示方法,根据产品概念设计的特点,提出了基于本体的产品知识F-B-S 表达模型,使各模块之间建立了清晰的联系。各模块分别用各自的领域本体进行形式化定义,采用BNF 范式对领域本体进行统一的描述和表达。最后,以某一系列吸尘器为例,验证了基于本体的产品知识表示方法的可行性和有效性,从而实现了产品知识表达的共享与重用。     

基于本体的推理机研究

语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用。本体表示语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证。介绍了本体语言、描述逻辑和描述逻辑推理的基本原理,重点介绍了基于SHIQ描述逻辑的推理机Racer的基本功能及其在智能信息检索中的应用。     

粗糙本体支持的知识推理框架

基于精确本体的推理机不能够直接应用到粗糙本体的知识推理中,因此目前还没有适合粗糙本体的推理机。根据粗糙本体的特点,将其中的粗糙集、粗糙描述逻辑、粗糙包含和知识推理作为研究对象,在此基础上将基于描述逻辑的推理方法与基于规则的推理方法相结合,提出一种粗糙本体支持的知识推理框架,实现了粗糙本体的推理功能,解决了针对不确定信息的知识推理问题。     

基于本体语言OWL的模糊扩展

本体能够对特定领域的概念、术语以及关系提供一种形式化的描述方法.尽管本体在知识表示上有很强的能力,但是有一个缺陷,即不能表达不确定和不精确的信息.而这些信息在语义网和多媒体应用中,又是至关重要的.针对模糊信息的本体表示问题,本文对本体语言OWL DL进行了基于模糊逻辑的扩展,给出了形式化的语法和语义,并通过一个实例说明了该方法在表达能力上的灵活性. .     

本体在概念建模中的应用研究

概念建模是指创建概念模型的行为,这些模型用来描述问题,与具体用于解决问题的技术和策略独立无关.在过去数十年中,大量概念建模方法和工具纷纷涌现,许多理论如本体论、语言学和认知学的引入,增强了概念建模的理论基础,基于本体的概念建模研究得到了充分重视.探讨了基于本体的概念建模理论、概念建模语言中本体的作用、上层本体与领域本体的关系;对基于本体的概念模型以及本体语言及其逻辑基础在概念模型的一致性检测的应用进行了研究.     

Web本体语言OWL

随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题。在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节。该文介绍了W3C最新给出的Web本体语言OWL,给出TOWL3个子语言构造成分的含义说明,并比较了3种子语言间的差别。     

基于本体的产品设计知识表示研究

针对目前的产品设计知识表示模型或是只局限于产品设计的某一阶段,或是局限于某一设计领域,对产品设计知识的概念存在着分类不清等不足,文中提出一种产品设计知识本体构建方法,并构建基于本体的产品设计知识表示模型。通过分析产品设计知识本体产生的知识概念、属性及知识概念间关系,形式化地定义和描述表示产品设计领域所包含的知识资源,提高企业产品设计知识共享和重用效率。以色选机设计知识表示为例,验证了所提出模型的有效性。     

产品三维数据模型轻量化表示实现

提出一种能快速浏览的产品三维模型轻量化文件格式,文件中包含零件显示信息和几何信息·显示信息记录面的三角化模型和边的多边形模型,以加快模型的浏览速度,且按装配、零件、面、线、点层次关系进行组织;几何数据附加在显示信息上,提供几何数据的精确查询·文件大小通过数据压缩大幅度地减小,便于在网上发布·以此为基础开发了三维产品浏览系统和用于生成轻量化文件的接口程序·     

基于本体的大规模定制产品配置模型

依据产品配置领域的相关知识,提出一种基于本体的大规模定制产品配置概念模型,其中包括配置类型和约束类。定义模型中每个概念及其关系,运用Web本体语言对其进行形式化的描述,使用语义Web规则语言表达特定的约束规则,基于Protégé对该模型进行有效性检验。     

CIMS产品数据交换的EXPRESS语言

文章由ＣＩＭＳ推进过程中遇到的问题阐述了产品交换标准问题的重要性,回顾了产品数据交换的发展情况,特别着重介绍了ＳＴＥＰ标准及其制定情况。以及作为信息转换的关键的形式化描述语言ＥＸ－ＰＲＥＳＳ。     

基于本体的几何学知识获取及知识表示

文中研究了基于本体的几何学知识获取,并运用此方法获取几何学领域中的类、属性、关系及公理等;同时,研究了基于本体的知识表示,并将几何学知识转化为该领域本体,用RDF/OWL的形式进行描述.在此基础上构建了一个可共享、可重用、可扩展的几何学本体,形成了一套较完整的几何学知识获取和知识表示体系,将其应用于建立几何学知识库,可大大提高知识搜索和知识推理的效率,并为几何学专家系统、几何学信息检索、几何学教育系统、自然语言理解等领域提供智能基础.     

基于领域本体的数据--知识转换模型研究

在分析数据——知识转换机制的基础上,引入本体的概念,根据本体的分类,基于领域本体提出了数据——知识转换模型。结合领域本体的定义,对数据——知识转换模型从领域知识基本描述、概念集合和关系集合三个角度加以分析,实现了相关的子模型,从而得出了完整的数据——知识转换模型,并基于该模型给出了具体的数据——知识转换文本(片断)。     

基于XML的STEP产品数据网上描述与识别

为了实现STEP的XML表达，以STEP Part21物理文件为研究对象，首先分析了EXPRESS与XML语言并建立匹配关系；然后建立基于数据实例层次结构树的XML DTD以实现通用的、统一的XML表达；最后结合原型系统SX－Viewer的实现过程和结果证明其可行性和实用性。     

模糊面向对象数据模型的描述逻辑表示与推理

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实例到f-ALCIQ ABox的转化;进而,基于转化得到的f-ALCIQ知识库,研究了如何利用f-ALCIQ的推理机制对FOOD模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ的模糊描述逻辑推理机(FRsQ推理机),实现了对FOOD模型和f-ALCIQ模糊概念知识的自动推理.     

一种应用描述逻辑推理实现本体映射的方法

本体匹配用于找到两个本体中元素间的映射关系,是数据库应用领域的一个重要问题.本文提出了一种基于描述逻辑的本体匹配方法,利用语义解释实现匹配.该方法首先利用多匹配器发现字面语义关系,并据此利用描述逻辑推理器推理元素相互间关系.借助概念包含推理设计了概念间关系的判定算法,可推理出各种对应关系,如等价、泛化、特化、相离、相交.该方法最终利用推理器RacerPro实现了本体匹配,最后通过实验证明了方法的有效性.