本體語言

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

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

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

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

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

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

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

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

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

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