OWL DI OWL Lite 图4OM语言的分类 OWL FU:提供最丰富的表达能力和最大的RDF语法自由度,支持OML 的全部语法结构,但没有可计算性保证。OWL允许本体扩大预定义词 汇的含义,但 OWL FI基本上不可能完全支持计算机自动推理。 OWL Lite: OWL Lite提供最小的表达能力和最强的语义约束,适用于 只需要层次式分类结构和少量约束的本体,例如词典。因为其语义较为 简单, OWL Lite比较容易被工具支持 OWL DL: OWL DL得名于它的逻辑基础——描述逻辑。 OWL DL处 于 OWL Ful和 OWL Lite之间,兼顾表达能力和可计算性。 OWL DL 支持所有的OML语法结构,但在 OWL FU之上加强了语义约束,使得 能够提供计算完备性( computational completeness,即任何结论都能 确保通过计算得到)和可判定性( decidability,所有结论都保证在有限 时间内得到)。 ◆建立一个 ontology的步骤 具体的建立一个 ontology,一般分为以下几步 1.定义 ontology中的 Class,,cass指的就是概念。 2.把这些Cass组织成一个层次化的结构。 3.填充 Property在相应的cass上的值 4.定义 Property和描述这些 Property对相应的cass的限制。 Logic Layer 逻辑层在本体所描述的知识之上提供逻辑推理能力(基于规则)。例如,定义 这样一个规则,任何月销售额超过100万元的销售人员将被评为明星销售员 Mike上月销售额为120万元。于是逻辑系统能够推理得出:Mike是明星销售员 ● Proof Layer: 有了对事实的逻辑描述,就能够提供对事实的复杂的“证明”。例如,销售记 录Mike上月一共卖出63万元的机床设备和58万元的测量设备,而产品管理系OWL Full OWL DL OWL Lite OWL Full OWL DL OWL Lite 图 4 OWl 语言的分类 OWL Full：提供最丰富的表达能力和最大的 RDF 语法自由度，支持 OWL 的全部语法结构，但没有可计算性保证。OWL 允许本体扩大预定义词 汇的含义，但 OWL Full 基本上不可能完全支持计算机自动推理。 OWL Lite：OWL Lite 提供最小的表达能力和最强的语义约束，适用于 只需要层次式分类结构和少量约束的本体，例如词典。因为其语义较为 简单，OWL Lite 比较容易被工具支持。 OWL DL： OWL DL 得名于它的逻辑基础——描述逻辑。OWL DL 处 于 OWL Full 和 OWL Lite 之间，兼顾表达能力和可计算性。OWL DL 支持所有的 OWL 语法结构，但在 OWL Full 之上加强了语义约束，使得 能够提供计算完备性（computational completeness，即任何结论都能 确保通过计算得到）和可判定性（decidability，所有结论都保证在有限 时间内得到）。 ‹ 建立一个 ontology 的步骤 具体的建立一个 ontology，一般分为以下几步： 1．定义 ontology 中的 Class，Class 指的就是概念。 2．把这些 Class 组织成一个层次化的结构。 3．填充 Property 在相应的 Class 上的值。 4．定义 Property 和描述这些 Property 对相应的 Class 的限制。 z Logic Layer： 逻辑层在本体所描述的知识之上提供逻辑推理能力(基于规则)。例如，定义 这样一个规则，任何月销售额超过 100 万元的销售人员将被评为明星销售员， Mike 上月销售额为 120 万元。于是逻辑系统能够推理得出：Mike 是明星销售员 工。 z Proof Layer： 有了对事实的逻辑描述，就能够提供对事实的复杂的“证明”。例如，销售记 录 Mike 上月一共卖出 63 万元的机床设备和 58 万元的测量设备，而产品管理系 5