本體語言

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

基本介紹

• 中文名：本體語言
• 外文名：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，操作型概念建模語言）

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）。

人工語言

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

人工語言可按創造意圖分為：

1. 輔助語言（英語：Auxiliary Language，簡稱auxlang，亦稱國際輔助語言，英語：International Auxiliary Language，簡稱IAL）
   
2. 藝術語言（英語：Artistic Language，簡稱artlang）
   
3. 工程語言（英語：Engineered Language，簡稱englang）
   

本體工程

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