本体

通常在一个本体中主要定义以下几个组成部分

1. 类:领域和任务中的概念，通常使用分类法组织在一起
2. 关系：领域概念之间的一种联系类型
3. 函数：一种特殊的关系，在关系的N个元素中前N-1个元素决定了第N各元素
4. 公理：一种关于事实地语句，如果学生选修了课程A和B，那么他是二年级学生
5. 实例：表示特定的元素，如Peter是学生的实例

XML DTDs 和 XML Schemas 对于在两个遵守预先定义的协议的应用是足够的
但是由于它们缺乏语义使得难以利用新的XML词汇来执行任务
而 RDF 和 RDF Schema 通过允许联系与标识符的简单语义来着手处理这个问题
使用 RDF Schema :一个人能定义具有多个子类和超类的类，定义具有子属性，领域和范围的属性
然而为了达到在众多独自发展和管理的模式之间的交互操作，丰富的语义是必须的

传统的本体表示语言

Ontolingua
基于 KIF (Knowledge Interchange Format) 和 FO (Frame Ontology) 的语言

KIF(Knowledge Interchange Format)
主要功能：解决知识表示语言的异质性，定义对象，函数和关系，基于一阶谓词逻辑，并含有一个前缀符号
此外它还可以表示元知识的非单调推理规则，具有描述性语义

OKBC（Open Knowledge Base Connectivity) 协议
具体描述了一个协议，对其底层的知识表示系统做了假定，对于支持语言共享的语言是一个有力的补充

GFP知识模型
能够用以对象为中心的方法来表示知识
还提供了一个问答界面，以使用 OKBC协议访问知识库

• OCML
  一种基于框架的语言
  能够表示诸如关系，函数规则，类和实例等项
  还另外增加了一些逻辑机制以增强推理的有效性
  与标准相容

• Flogic
  综合了基于框架的语言和一阶谓词逻辑
  能够清楚明白的说明面向对象和基于框架语言的大多数结构方面
  在推理演绎方面，Flogic有一个理论模型和一个完整有效的基于决策的证明机制

• LOOM
  提供了明确定义而且表达能力较强的模型描述语言
  能描述定义，规则，事实和缺省规则等，提供了有效的推理机制，能利用向前推理，语义一致化和面向对象的真值为维护等技术实现推理，提供了变成范例，产生式规则范例和面向对象范例

传统的本体表示语言

• Ontolingua
  KSL开发的一个本体开发环境，包括一个服务器和一个表示语言
  1.使用 Ontolingua 语言的扩展版本作为半形式化的表示语言
  2.使用满足面向对象的框架视图表示和浏览知识，使用类/子类的方式展现类层次
  3.使用户能迅速地从模块库中组合新本体
  4.为用户提供三种与Ontolingua服务器交互的主要模式
  5.支持合作开发本体，观察从一个本体转变为另一个本体的动作集合，方便的监视本体的变化，通过检查槽，槽值，面，面值确保他们满足已知的限制的方法，可分析本体的一致性

参考：华中师范大学 舒江波 硕士学位论文《本体库的构建方法和应用研究》
链接来源:源链接已失效

Q.E.D.