本体语言

用于构建本体的形式语言

计算机科学人工智能领域,本体语言ontology language、又称为本体论语言)是指用于构建本体形式语言。此类语言允许对有关特定领域知识加以编码,且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为声明式语言(又称为表述型语言、说明性语言),几乎总是属于框架语言泛化形式,且一般都基于一阶逻辑描述逻辑

分类

编辑

按语法分类

编辑

传统语法本体语言

编辑
  • CycL英语CycL
  • DOGMA英语DOGMADeveloping Ontology-Grounded Methods and Applications,字面意思为“建立基于本体的方法和应用”)
  • F-Logic英语F-LogicFrame Logic,框架逻辑,F-逻辑)
  • KIF英语KIFKnowledge Interchange Format,知识交换格式)
  • KL-ONE英语KL-ONE
  • KM编程语言:有一階邏輯的語意,也有包括依描述選擇、合一、分類、理解等機械推理,源自Theo語言及KRL程式語言,是用Lisp實現。
  • LOOM英语LOOM (ontology)
  • OCML英语OCMLOperational Conceptual Modelling Language,操作型概念建模语言)
  • 开放知识库连接Open Knowledge Base Connectivity,开放知识库连接)
  • PLIB英语PLIBParts LIBrary,字面意思为“部件库“)
  • RACER系统英语RACER system(推理机)

标记本体语言

编辑

此类语言采用某种标记方案来编码知识,且最为常用的标记语言是XML

按结构分类

编辑

基于框架的本体语言

编辑

F-Logic英语F-LogicOKBC和KM编程语言属于是完全或者部分基于框架的语言。

基于描述逻辑的本体语言

编辑

描述逻辑提供了对于框架语言的一种扩展,但同时其变动幅度又没有大到跃迁至一阶逻辑以及支持任意的谓词。此类语言的例子包括KL-ONE英语KL-ONERACER系统英语RACER systemOWL

Gellish英语Gellish即是综合性本体语言的例子,同时又属于是基于描述逻辑的本体。除了别的之外,Gellish英语Gellish尤其区分下列关系类型之间的语义差别:

  • 概念(类)之间关系的关系类型
  • 个体之间关系的关系类型
  • 个体与类之间关系的关系类型

同时,Gellish英语Gellish之中还包含用于表达查询以及交际意图的构造。

基于一阶逻辑的本体语言

编辑

CycL英语CycLKIF英语KIF属于是支持一阶逻辑表达式的语言,尤其是允许通用谓词general predicates)。

参考文献

编辑

参閲

编辑