本体语言
外观
![本页使用了标题或全文手工转换](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
在计算机科学和人工智能领域,本体语言(ontology language、又称为本体论语言)是指用于构建本体的形式语言。此类语言允许对有关特定领域的知识加以编码,且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为声明式语言(又称为表述型语言、说明性语言),几乎总是属于框架语言的泛化形式,且一般都基于一阶逻辑或描述逻辑。
分类
[编辑]按语法分类
[编辑]传统语法本体语言
[编辑]- CycL
- DOGMA(Developing Ontology-Grounded Methods and Applications,字面意思为“建立基于本体的方法和应用”)
- F-Logic(Frame Logic,框架逻辑,F-逻辑)
- KIF(Knowledge Interchange Format,知识交换格式)
- 基于KIF的Ontolingua
- KL-ONE
- KM编程语言
- LOOM
- OCML(Operational Conceptual Modelling Language,操作型概念建模语言)
- 开放知识库连接(Open Knowledge Base Connectivity,开放知识库连接)
- PLIB(Parts LIBrary,字面意思为“部件库“)
- RACER系统(推理机)
标记本体语言
[编辑]此类语言采用某种标记方案来编码知识,且最为常用的标记语言是XML。
按结构分类
[编辑]基于框架的本体语言
[编辑]F-Logic、OKBC和KM编程语言属于是完全或者部分基于框架的语言。
基于描述逻辑的本体语言
[编辑]描述逻辑提供了对于框架语言的一种扩展,但同时其变动幅度又没有大到跃迁至一阶逻辑以及支持任意的谓词。此类语言的例子包括KL-ONE、RACER系统和OWL。
Gellish即是综合性本体语言的例子,同时又属于是基于描述逻辑的本体。除了别的之外,Gellish尤其区分下列关系类型之间的语义差别:
- 概念(类)之间关系的关系类型
- 个体之间关系的关系类型
- 个体与类之间关系的关系类型
同时,Gellish之中还包含用于表达查询以及交际意图的构造。
基于一阶逻辑的本体语言
[编辑]CycL和KIF属于是支持一阶逻辑表达式的语言,尤其是允许通用谓词(general predicates)。
参考文献
[编辑]参閲
[编辑]
|