论基于本体的特征知识库研究.docxVIP

论基于本体的特征知识库研究　　论文关键词：领域本体　特征知识库　特征技术　　论文摘要：使用特征类、特征对象来对零件特征进行表示，从而建立起一种新的概念化特征知识库。　　　　1　本体和领域本体　　1.1本体　　本体(Ontology)是共享概念模型明确的形式化规范说明。本体可以分为4种类型：领域本体(Domain Ontology)、通用本体(Generic Ontology)、应用本体(Application On－tology)和表示本体(Representational Ontology)。　　1.2领域本体　　领域本体(Domain-Specific Ontology)是对学科概念的一种描述，描述了学科中的概念、概念的属性、概念间的关系以及属性和关系的约束。　　领域本体形式化描述为：OM={O，C，R，S}，O表示本体集，C表示概念集，R表示关系集，S表示规则集。概念网模型形式化描述为：CM={0，C，AIBIP，R，S}，O表示本体，C表示概念集，AIBIP表示属性集或方法集或性质集，R表示关系集，s表示约束规则集。　　领域本体的表示形式采用框架表示。领域本体框架结构是由字符串Defontology后跟lt;概念gt;本体、一对花括号组成。本体框架内容是概念的属性、关系和约束规则。概念的属性可以是多个，属性取值约束条件是对属性含义的约束，如时间、范围等，是可选项。概念的关系也可以是多个，约束规则是对概念的属性、关系的细节性约束。注释也是可选项。领域本体框架结构如下：Defontologylt;概念gt;本体{属性：属性名1　　：属性取值约束条件　　：注释属性：属性名1　　：属性取值约束条件　　：注释关系：关系名1　　：关系性质　　：注释关系：关系名2　　：关系性质　　：注释约束规则1：约束规则2：}　　　　2　特征概念本体　　2.1特征概念本体　　为在知识库中描述特征，需要对特征进行关系描述。特征类是关于特征的描述，特征对象是特征类的一个实例。　　特征类之间、特征对象之间、特征类与特征对象之间有如下几种关系：　　2.1.1 Instance－of实例关系　　Instance－of实例关系：特征对象e与所属的特征类c的关系。记作I(e，C)。实例关系反映不同逻辑层次上特征实体概念之间的连接，没有自反性、对称性和传递性。　　推理规则：①性质继承：I(e，C)HasProperty(C，P)→HasProperty(e，P)；②属性继承：I(e，c)HasAttribute(c，A)→HasAttribute(e，A)：③行为继承：I(e，C)HasBehav－ior(C，B)→HasBehavior(e，B)。　　2.1.2 Connected邻接关系　　Connected邻接关系：形状特征之间的空间相互位置的关系。记作c(e1，e2)。邻接关系反映特征实体之间的相互关系，没有自反性、对称性和传递性。　　推理规则：①性质继承：C(e1，e2)HasProperty(e2，P)→HasProperty(e1，P)；②属性继承：c(e1，e2)HasAttribute(e2，A)→HasAttribute(e1，A)；③行为继承：C(e1，e2)HasBehavior(e2，B)→HasBehavior(e1，B)。 　　 2.1.3 Refers引用关系　　Refers引用关系：作为关联属性的特征类相互引用的关系。当特征e1引用特征e2时，记作R(e1，e2)。引用关系反映不同逻辑层上特征概念、特征概念从属之间的依赖关系，不具有自反性和对称性，但具有传递性。　　推理规则：①性质继承：R(e1，e2)HasProperty(e2，P)→HasProperty(e1，P)；②属性继承：R(e1，e2)HasAt-tribute(e2，A)→HasAttribute(e1，A)：③行为继承：R(e1，e2)HasBehavior(e2，B)→HasBehavior(e1，B)；④传递性：R(e1，e2)R(e2，e3)→R(e1，e3)。　　2.1.4 Subordinated从属关系　　Subordinated从属关系：描述特征问的附属联系。当特征e1从属于特征e2时，记作S(e1，e2)。从属关系反映特征概念实体之间的组成关系，不具有自反性和对称性，但具有传递性。　　推理规则：①性质继承：S(e1，e2)HasProperty(e2，P)→HasProperty(e1，P)：②属性继承：s(e1，e2)HasAttribute(e2，A)→HasAttribute(e1，A)；③行为继承：S(e1，e2)HasBehavior(e2，B)→HasBehavior(e1，B)；④传递性：S(e1，e2)S(e2，e3)→S