基本介紹
簡介,傳統本體語言,按語法分類,按結構分類,人工語言,本體工程,
簡介
此類語言允許對有關特定領域的知識加以編碼，且常常還包括為處理這些知識提供支持的推理規則。本體語言通常為描述性語言（又稱為表述型語言、說明性語言），幾乎總是屬於框架語言的泛化形式，且一般都基於一階邏輯或描述邏輯。
傳統本體語言
- CycL
- DOGMA（Developing Ontology-Grounded Methods and Applications，字面意思為“建立基於本體的方法和套用”）
- F-Logic（Frame Logic，框架邏輯，F-邏輯）
- KIF（Knowledge Interchange Format，知識交換格式）
- 基於KIF的Ontolingua
KL-ONE
LOOM（本體論）
OCML（Operational Conceptual Modelling Language，操作型概念建模語言）
OKBC（Open Knowledge Base Connectivity，開放知識庫連線）
PLIB（Parts LIBrary，字面意思為“部件庫“）
RACER系統（推理機）
按語法分類
標記本體語言
- DAML+OIL
- OIL（本體語言）（Ontology Inference Layer或者Ontology Interchange Language，OIL，本體推理層或者本體交換語言）
- 網路本體語言（OWL，Web Ontology Language）
- 資源描述框架（RDF，Resource Description Framework）
- RDF模式
- SHOE（本體語言）
按結構分類
基於框架的本體語言
F-Logic、OKBC和KM程式語言屬於是完全或者部分基於框架的語言。
基於描述邏輯的本體語言
Gellish即是綜合性本體語言的例子，同時又屬於是基於描述邏輯的本體。除了別的之外，Gellish尤其區分下列關係類型之間的語義差別：
- 概念（類）之間關係的關係類型
- 個體之間關係的關係類型
- 個體與類之間關係的關係類型
同時，Gellish之中還包含用於表達查詢以及交際意圖的構造。
基於一階邏輯的本體語言
人工語言
人工語言（又稱人造語言，英語：Constructed language，簡稱conlang)，是許多因特定目的、用途，為了某特定使用族群，而人為創造出來的語言，包括文法、單字等等。人工語言不像自然語言一樣會隨人類的語言文化而發展，但是，它們在被創造之後，卻可能因而產生特定的影響力，隨著人類文化如真實語言一樣地演進。
人工語言可按創造意圖分為：
- 輔助語言（英語：Auxiliary Language，簡稱auxlang，亦稱國際輔助語言，英語：International Auxiliary Language，簡稱IAL）
- 藝術語言（英語：Artistic Language，簡稱artlang）
- 工程語言（英語：Engineered Language，簡稱englang）
