本體語言

在電腦科學和人工智能領域，本體語言（ontology language、又稱為本體論語言）是指用於構建本體的形式語言。此類語言允許對有關特定領域的知識加以編碼，且常常還包括為處理這些知識提供支援的推理規則。本體語言通常為聲明式語言（又稱為表述型語言、說明性語言），幾乎總是屬於框架語言的泛化形式，且一般都基於一階邏輯或描述邏輯。

分類

CycL（英語：CycL）
DOGMA（英語：DOGMA）（Developing Ontology-Grounded Methods and Applications，字面意思為「建立基於本體的方法和應用」）
F-Logic（英語：F-Logic）（Frame Logic，框架邏輯，F-邏輯）
KIF（英語：KIF）（Knowledge Interchange Format，知識交換格式）
- 基於KIF的Ontolingua（英語：Ontolingua）
KL-ONE（英語：KL-ONE）
KM程式語言
LOOM（英語：LOOM (ontology)）
OCML（英語：OCML）（Operational Conceptual Modelling Language，操作型概念建模語言）
開放知識庫連接（Open Knowledge Base Connectivity，開放知識庫連接）
PLIB（英語：PLIB）（Parts LIBrary，字面意思為「部件庫「）
RACER系統（英語：RACER system）（推理機）

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

DAML+OIL（英語：DAMLplusOIL）
OIL（英語：Ontology Inference Layer）（Ontology Inference Layer或者Ontology Interchange Language，OIL，本體推理層或者本體交換語言）
網絡本體語言（OWL，Web Ontology Language）
資源描述框架（RDF，Resource Description Framework）
RDF模式（英語：RDF Schema）
SHOE（英語：SHOE）

F-Logic（英語：F-Logic）、OKBC和KM程式語言（英語：KM programming language）屬於是完全或者部分基於框架的語言。

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

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

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

CycL（英語：CycL）和KIF（英語：KIF）屬於是支援一階邏輯表達式的語言，尤其是允許通用謂詞（general predicates）。