分类

本体之可视化展现形式示例： Mason-ontology 。

传统本体语言

CycL

DOGMA（ Developing Ontology-Grounded Methods and Applications ，字面意思为“建立基于本体的方法和应用”）

F-Logic（ Frame Logic ，框架逻辑，F-逻辑）

KIF（ Knowledge Interchange Format ，知识交换格式）

KL-ONE

KM编程语言

LOOM（本体论）

OCML（ Operational Conceptual Modelling Language ，操作型概念建模语言）

OKBC（ Open Knowledge Base Connectivity ，开放知识库连接）

PLIB（ Parts LIBrary ，字面意思为“部件库“）

RACER系统（推理机）

按语法分类

标记本体语言

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

DAML+OIL

OIL（本体语言）（ Ontology Inference Layer 或者 Ontology Interchange Language ，OIL， 本体推理层 或者 本体交换语言 ）

网络本体语言（OWL，Web Ontology Language）

资源描述框架（RDF，Resource Description Framework）

RDF模式

SHOE（本体语言）

按结构分类

基于框架的本体语言

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

基于描述逻辑的本体语言

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

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

概念（类）之间关系的关系类型

个体之间关系的关系类型

个体与类之间关系的关系类型

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

基于一阶逻辑的本体语言

CycL和KIF（知识交换格式）属于是支持一阶逻辑表达式的语言，尤其是允许通用谓词（ general predicates ）。

参见

人工语言

参考文献

Oscar Corcho, Asuncion Gomez-Perez, 本体形式化说明语言（ Ontology Specification Languages ）路线图 (2000)

Enrico Franconi.描述逻辑入门 课程。意大利博尔札诺自由大学计算机科学院。

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。