本體語言

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