7 知識推理

OWL本體語言算法   是KG語言中最規範(W3C)、最嚴謹(描述邏輯)、表達能力最強(一階謂詞邏輯的子集)的語言網絡   一個描述邏輯系統包含四個基本組成部分：多線程 一、最基本的元素：概念、關係、個體分佈式 二、TBox術語集(概念術語的公理集合)工具 三、ABox斷言集(個體斷言集合)線程 四、TBox和ABox上的推理機制內存   概念：學生io 關係：朋友並行 個體：小明方法 TBox：

>>阅读原文<<