知識推理

目錄git    本體知識推理簡介與任務分類github OWL本體語言web 知識推理任務算法 OWL本體推理數據庫 ​ 實例化(materialization)的一個例子:編程 OWL本體推理:不一致性檢測api OWL本體非標準推理:計算辯解服務器  本體推理方法與工具介紹網絡 基於Tableaux運算的方法session ​  Tableaux運算的正確性 相關工具簡介 ​ 基於邏輯

>>阅读原文<<