知識推理

目錄    本體知識推理簡介與任務分類 OWL本體語言 知識推理任務 OWL本體推理 ​ 實例化(materialization)的一個例子: OWL本體推理:不一致性檢測 OWL本體非標準推理:計算辯解  本體推理方法與工具介紹 基於Tableaux運算的方法 ​  Tableaux運算的正確性 相關工具簡介 ​ 基於邏輯編程改寫的方法 相關工具介紹 ​ RDFox實踐 ​ 基於一階查詢重

>>阅读原文<<