本體語言
在電腦科學和人工智能領域，本體語言（ontology language、又稱為本體論語言）是指用於構建本體的形式語言。此類語言允許對有關特定領域的知識加以編碼，且常常還包括為處理這些知識提供支援的推理規則。本體語言通常為聲明式語言（又稱為表述型語言、說明性語言），幾乎總是屬於框架語言的泛化形式，且一般都基於一階邏輯或描述邏輯。
分類
[編輯]按語法分類
[編輯]傳統語法本體語言
[編輯]- CycL
- DOGMA（Developing Ontology-Grounded Methods and Applications，字面意思為「建立基於本體的方法和應用」）
- F-Logic（Frame Logic，框架邏輯，F-邏輯）
- KIF（Knowledge Interchange Format，知識交換格式）
- 基於KIF的Ontolingua
- KL-ONE
- KM程式語言：有一階邏輯的語意，也有包括依描述選擇、合一、分類、理解等機械推理，源自Theo語言及KRL程式語言，是用Lisp實現。
- 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）。
