伯特利数控 加工中心 钻攻中心
前言：
描述逻辑是基于对象的知识表示语言，是一阶谓词逻辑可判定的子集，具有明确的语义，提供了可判定性的推理服务，具有语义特征，能够保证推理算法的有穷性。@描述逻辑包含概念和关系两个基本组成部分。描述逻辑的基本语言alc的基本元素包括概念、关系、个体以及在它们之上的交、并、非、存在量词和全程量词等算子。一个描述逻辑系统包括四个基本组成部分:概念集、关系集，tbox断言集和abox断言集及tbox和abox上的推理机制。tbox是一个描述领域结构的公理集，有包含公理和定理公理两种形式，abox是一个描述关于具体个体事实的公理集，其中包含概念断言和关系断言两种形式。描述逻辑的基本运算符包括合取、析取、否定、存在性限定和值限定等，alc的语法和语义以及tbox包含断言如表1和表2所示。
在基于描述逻辑的加工工艺知识库中有两种基本知识，第一种是关于问题领域一般性的内涵知识，第二种是只与特定问题相关的外延知识，它们分别存放在tbox和abox中。tbox包含外延知识，描述概念的一般性质，概念之间的包含关系，abox包含外延知识，描述论域中的特定个体。一般认为内涵知识是不变的，而外延知识依赖于特定环境，是可变的。tbox中声明的基本形式是类定义，使用已定义的概念来定义新的概念。构造术语表的基本任务是分类，将一个新概念放在概念层次结构中一个合适的位置。这可以通过检查层次机构中每个概念与新概念之间的包含关系来确定。abox包含论域的外延知识，是关于个体的断言，断言分为概念断言和关系断言两类。