本体
通常在一个本体中主要定义以下几个组成部分
- 类:领域和任务中的概念,通常使用分类法组织在一起
- 关系:领域概念之间的一种联系类型
- 函数:一种特殊的关系,在关系的N个元素中前N-1个元素决定了第N各元素
- 公理:一种关于事实地语句,如果学生选修了课程A和B,那么他是二年级学生
- 实例:表示特定的元素,如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.
Comments | 0 条评论