知识推理

目录    本体知识推理简介与任务分类 OWL本体语言 知识推理任务 OWL本体推理 ​ 实例化(materialization)的一个例子: OWL本体推理:不一致性检测 OWL本体非标准推理:计算辩解  本体推理方法与工具介绍 基于Tableaux运算的方法 ​  Tableaux运算的正确性 相关工具简介 ​ 基于逻辑编程改写的方法 相关工具介绍 ​ RDFox实践 ​ 基于一阶查询重

>>阅读原文<<