[科普中國]-本體語言

在計算機科學和人工智能領域，本體語言（ontology language、又稱為本體論語言）是指用于構建本體的形式語言。

簡介此類語言允許對有關特定領域的知識加以編碼，且常常還包括為處理這些知識提供支持的推理規(guī)則。本體語言通常為描述性語言（又稱為表述型語言、說明性語言），幾乎總是屬于框架語言的泛化形式，且一般都基于一階邏輯或描述邏輯。1

傳統(tǒng)本體語言CycL

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

F-Logic（Frame Logic，框架邏輯，F(xiàn)-邏輯）

KIF（Knowledge Interchange Format，知識交換格式）

基于KIF的Ontolingua

KL-ONE

KM編程語言

LOOM（本體論）

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

OKBC（Open Knowledge Base Connectivity，開放知識庫連接）

PLIB（Parts LIBrary，字面意思為“部件庫“）

RACER系統(tǒng)（推理機）2

按語法分類標記本體語言

此類語言采用某種標記方案來編碼知識，且最為常用的標記語言是XML。

DAML+OIL

OIL（本體語言）（Ontology Inference Layer或者Ontology Interchange Language，OIL，本體推理層或者本體交換語言）

網(wǎng)絡本體語言（OWL，Web Ontology Language）

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

RDF模式

SHOE（本體語言）

按結(jié)構分類基于框架的本體語言

F-Logic、OKBC和KM編程語言屬于是完全或者部分基于框架的語言。

基于描述邏輯的本體語言

描述邏輯提供了對于框架語言的一種擴展，但同時其變動幅度又沒有大到躍遷至一階邏輯以及支持任意的謂詞。此類語言的例子包括KL-ONE、RACER系統(tǒng)和OWL。

Gellish即是綜合性本體語言的例子，同時又屬于是基于描述邏輯的本體。除了別的之外，Gellish尤其區(qū)分下列關系類型之間的語義差別：

概念（類）之間關系的關系類型

個體之間關系的關系類型

個體與類之間關系的關系類型

同時，Gellish之中還包含用于表達查詢以及交際意圖的構造。

基于一階邏輯的本體語言

CycL和KIF（知識交換格式）屬于是支持一階邏輯表達式的語言，尤其是允許通用謂詞（general predicates）。2

人工語言人工語言（又稱人造語言，英語：Constructed language，簡稱conlang)，是許多因特定目的、用途，為了某特定使用族群，而人為創(chuàng)造出來的語言，包括文法、單字等等。人工語言不像自然語言一樣會隨人類的語言文化而發(fā)展，但是，它們在被創(chuàng)造之后，卻可能因而產(chǎn)生特定的影響力，隨著人類文化如真實語言一樣地演進。

人工語言可按創(chuàng)造意圖分為：

輔助語言（英語：Auxiliary Language，簡稱auxlang，亦稱國際輔助語言，英語：International Auxiliary Language，簡稱IAL）

藝術語言（英語：Artistic Language，簡稱artlang）

工程語言（英語：Engineered Language，簡稱englang）2

本體工程本體工程，又稱為本體論工程、本體論設計或本體設計，是計算機科學與信息科學當中的一個新興領域，旨在研究用于構建本體的方法和方法學。本體工程乃是一個新興的研究和應用領域，關注的是本體開發(fā)過程、本體生命周期、用于構建本體的方法和方法學以及那些用于支持這些方面的工具套裝和語言。1

本詞條內(nèi)容貢獻者為:

王沛 - 副教授、副研究員 - 中國科學院工程熱物理研究所