ontology本体概念初识初步了解

2019-04-28   83 次阅读


本体

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

  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.

知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议