hstar中的推理(编辑修改稿)内容摘要:

模糊模式的变量名是与规则相关的,通过在书写规则时重用变量名来重用模糊模式; 规则数据结构 规则 确定模式 模糊模式 匹配顺序 实例事实 推理过程 推理结束条件:如果实例事实在库中已经存在,则不再执行推理 待完成的工作 • 集成测试 • 推理效率的实验 • 对比现有的 RDF/OWL推理方法,总结我们的方法,作为整个系统的文章的一个部分。 XPath流处理方法 • 支持 XPath中的 //,嵌套谓词以及多谓词等特征 • 处理模型 v a /a v a //a v a /a[b] b v a /a[b[c]] b c v a /a[b][c] b c 活跃结点集:由于 //的作用,使得模式树中往往有多个可同时进行匹配的结点,这样的结。
阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。 用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。