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

分類

按語法分類

傳統語法本體語言

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

標記本體語言

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

按結構分類

基於框架的本體語言

F-Logic英語F-LogicOKBCKM編程語言英語KM programming language屬於是完全或者部分基於框架的語言。

基於描述邏輯的本體語言

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

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

  • 概念(類)之間關係的關係類型
  • 個體之間關係的關係類型
  • 個體與類之間關係的關係類型

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

基於一階邏輯的本體語言

CycL英語CycLKIF英語KIF屬於是支持一階邏輯表達式的語言,尤其是允許通用謂詞general predicates)。

參考文獻

參閲

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.