本體語言- 維基百科，自由的百科全書

在計算機科學和人工智慧領域，本體語言（ontology language、又稱為本體論語言）是指用於構建本體的形式語言。

此類語言允許對有關特定領域的知識加以編碼，且常常還 ... 本體語言 維基百科，自由的百科全書 跳至導覽 跳至搜尋 在計算機科學和人工智慧領域，本體語言（ontologylanguage、又稱為本體論語言）是指用於構建本體的形式語言。

此類語言允許對有關特定領域的知識加以編碼，且常常還包括為處理這些知識提供支持的推理規則。

本體語言通常為描述性語言（又稱為表述型語言、說明性語言），幾乎總是屬於框架語言的泛化形式，且一般都基於一階邏輯或描述邏輯。

目次 1分類 1.1按語法分類 1.1.1傳統本體語言 1.1.2標記本體語言 1.2按結構分類 1.2.1基於框架的本體語言 1.2.2基於描述邏輯的本體語言 1.2.3基於一階邏輯的本體語言 2參考文獻 3參閲 分類[編輯] 按語法分類[編輯] 傳統本體語言[編輯] CycL（英語：CycL） DOGMA（英語：DOGMA）（DevelopingOntology-GroundedMethodsandApplications，字面意思為「建立基於本體的方法和應用」） F-Logic（英語：F-Logic）（FrameLogic，框架邏輯，F-邏輯） KIF（英語：KIF）（KnowledgeInterchangeFormat，知識交換格式） 基於KIF的Ontolingua（英語：Ontolingua） KL-ONE（英語：KL-ONE） KM程式語言（英語：KMprogramminglanguage） LOOM（英語：LOOM(ontology)） OCML（英語：OCML）（OperationalConceptualModellingLanguage，操作型概念建模語言） 開放知識庫連接（OpenKnowledgeBaseConnectivity，開放知識庫連接） PLIB（英語：PLIB）（PartsLIBrary，字面意思為「部件庫「） RACER系統（英語：RACERsystem）（推理機） 標記本體語言[編輯] 此類語言採用某種標記方案來編碼知識，且最為常用的標記語言是XML。

DAML+OIL（英語：DAMLplusOIL） OIL（英語：OntologyInferenceLayer）（OntologyInferenceLayer或者OntologyInterchangeLanguage，OIL，本體推理層或者本體交換語言） 網絡本體語言（OWL，WebOntologyLanguage） 資源描述框架（RDF，ResourceDescriptionFramework） RDF模式（英語：RDFSchema） SHOE（英語：SHOE） 按結構分類[編輯] 基於框架的本體語言[編輯] F-Logic（英語：F-Logic）、OKBC和KM程式語言（英語：KMprogramminglanguage）屬於是完全或者部分基於框架的語言。

基於描述邏輯的本體語言[編輯] 描述邏輯提供了對於框架語言的一種擴展，但同時其變動幅度又沒有大到躍遷至一階邏輯以及支持任意的謂詞。

此類語言的例子包括KL-ONE（英語：KL-ONE）、RACER系統（英語：RACERsystem）和OWL。

Gellish（英語：Gellish）即是綜合性本體語言的例子，同時又屬於是基於描述邏輯的本體。

除了別的之外，Gellish（英語：Gellish）尤其區分下列關係類型之間的語義差別： 概念（類）之間關係的關係類型 個體之間關係的關係類型 個體與類之間關係的關係類型 同時，Gellish（英語：Gellish）之中還包含用於表達查詢以及交際意圖的構造。

基於一階邏輯的本體語言[編輯] CycL（英語：CycL）和KIF（英語：KIF）屬於是支持一階邏輯表達式的語言，尤其是允許通用謂詞（generalpredicates）。

參考文獻[編輯] OscarCorcho,AsuncionGomez-Perez,http://www.cs.man.ac.uk/~ocorcho/documents/ekaw00_CorchoGomezPerez.pdf（頁面存檔備份，存於網際網路檔案館）(2000) EnricoFranconi.描述邏輯入門課程（頁面存檔備份，存於網際網路檔案館）。

義大利博爾札諾自由大學計算機科學院。

參閲[編輯] 計算機科學主題 語言主題 人工語言 形式語言 本體 本體工程 形式化概念分析 一階邏輯 描述邏輯 知識表達 晶格 論域理論（domaintheory） 伽羅瓦連接 閱論編語義網背景 知識 全球資訊網 網際網路 資料庫 語義網絡 本體工程 本體 分主題 數據網（英語：DataWeb） 數據空間（英語：Dataspaces） 可重新引用的統一資源標識符 超數據（英語：Hyperdata） 鍵連資料 本體 規則庫 應用 語義維基（英語：Semanticwiki）·語義發布（英語：Semanticpublishing）·語義搜索·語義宣傳（英語：Semanticadvertising）·語義推理程序（英語：Semanticreasoner）·語義匹配（英語：Semanticmatching）·語義映射程序（英語：Semanticmapper）·語義代理程序（英語：Semanticbroker）·語義分析方法（英語：Semanticanalytics）·面向語義服務型架構（英語：Semanticserviceorientedarchitecture）·語義檢索相關主題 集體智慧 描述邏輯 信息架構 知識管理 知識表示 圖書館2.0 元數據 引用 Web2.0 純舊語義HTML（英語：PlainOldSemanticHTML） 搜尋引擎優化 開放資料庫連接(ODBC) 主題地圖 心智圖 XML 分眾分類法 人物提姆·柏內茲-李·詹姆斯·亨德勒（英語：JamesHendler）·拉·拉西拉（英語：OraLassila）·奈傑爾·沙德博爾特（英語：NigelShadbolt）·溫迪·霍爾（英語：WendyHall）關鍵的語義網組織W3C·WSRI·MIT·OpenLink軟體·Talis工作組·ClearForest·南安普敦大學·DERI標準語法及支持技術 HTTP IRI（英語：Internationalizedresourceidentifier） URI 資源描述框架 Notation3（英語：Notation3） Turtle(語法)（英語：Turtle(syntax)） JSON-LD（英語：JSON-LD） N-Triples（英語：N-Triples） SPARQL XML 模式、本體和規則RDFS·OWL·規則交換格式·語義網規則語言語義標註RDFa·eRDF·GRDDL·微格式公共詞表FOAF·SIOC·DublinCore·SKOS 取自「https://zh.wikipedia.org/w/index.php?title=本体语言&oldid=67224374」 分類：本體語言隱藏分類：含有英語的條目 導覽選單 個人工具 沒有登入討論貢獻建立帳號登入 命名空間 條目討論 臺灣正體 已展開 已摺疊 不转换简体繁體大陆简体香港繁體澳門繁體大马简体新加坡简体臺灣正體 查看 閱讀編輯檢視歷史 更多 已展開 已摺疊 搜尋 導航 首頁分類索引特色內容新聞動態近期變更隨機條目資助維基百科 說明 說明維基社群方針與指引互助客棧知識問答字詞轉換IRC即時聊天聯絡我們關於維基百科 工具 連結至此的頁面相關變更上傳檔案特殊頁面靜態連結頁面資訊引用此頁面維基數據項目 列印/匯出 下載為PDF可列印版 其他語言 ČeštinaEnglishУкраїнська 編輯連結