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