hstar
hstar中的推理(编辑修改稿)
模糊模式的变量名是与规则相关的，通过在书写规则时重用变量名来重用模糊模式； 规则数据结构 规则 确定模式 模糊模式 匹配顺序 实例事实 推理过程 推理结束条件：如果实例事实在库中已经存在，则不再执行推理 待完成的工作 • 集成测试 • 推理效率的实验 • 对比现有的 RDF/OWL推理方法，总结我们的方法，作为整个系统的文章的一个部分。 XPath流处理方法 • 支持 XPath中的 //