HStar中的推理.pptVIP

HStar中的推理 报告人:欧建波 2005.8.8 导入时的推理规则 1. (?p rdfs:domain ?c),(?s ?p ?o) - (?s rdf:type ?c) 2. (?p rdfs:subPropertyOf ?q),(?s ?p ?o) - (?s ?q ?o) 3. (?p rdfs:range ?c),(?s ?p ?o) - (?o rdf:type ?c) 4. (?p rdf:type owl:FunctionalProperty), (?s ?p ?o),(?s ?p ?y) - (?o owl:sameAs ?y) 5. (?s ?p ?o),(?s owl:sameAs ?z) - (?z ?p ?o) 6. (?o ?p ?s),(?s owl:sameAs ?z) - (?o ?p ?z) 7. (?p owl:inverseOf ?q), (?s ?p ?o) - (?o ?q ?s)  8. (?p rdf:type owl:InverseFunctionalProperty), (?s ?p ?o),(?z ?p ?o) -(?s owl:sameAs ?z) 推理方法示例 (?p rdfs:domain ?c),(?s ?p ?o) - (?s rdf:type ?c) 规则左件有两个可匹配模式 规则右件为输出模式 规则由实例事实来触发 规则左件分类 确定模式：模式(s p o)中至少含有一个确定的对象； 模糊模式：模式的所有对象都是不确定的； 实例事实优先匹配确定模式； 模糊模式重用 在众多的规则中，通过重用模糊模式可以减少实例事实匹配的次数； 模糊模式的变量名是与规则相关的，通过在书写规则时重用变量名来重用模糊模式； 规则数据结构 待完成的工作 集成测试 推理效率的实验 对比现有的RDF/OWL推理方法，总结我们的方法，作为整个系统的文章的一个部分。 XPath流处理方法 支持XPath中的//，嵌套谓词以及多谓词等特征 处理模型 对//的处理方法 对上述的XML文档，在匹配了第一个a结点后，模式树中已到达实线a结点，对第二个a结点，显然应该从根结点开始匹配，但第一个a结点匹配还未结束，因此需要在模式树中复制一个a结点，如图虚线所示；第二个a结点匹配模式树中的虚线a结点； 结果输出问题 工作进展状态 系统编码正在处理输出结果的问题，将继续完善代码，进一步发现里面的问题； 文章已完成对工作的详细介绍，约5页内容，目前尚缺对方法中存在问题的完善，实验以及相关工作的总结 * 规则 确定模式 模糊模式 匹配顺序 实例事实 推理过程 推理结束条件：如果实例事实在库中已经存在，则不再执行推理 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 活跃结点集：由于//的作用，使得模式树中往往有多个可同时进行匹配的结点，这样的结点集合称为活跃结点集； 每个活跃结点都使用一个栈用于判断当前流结点与自身的关系； 每个结点都有一个是否被匹配的布尔变量，它的值等于其子树的匹配状态； v a //a a root a bbb/b a ccc/c /a /a/root 一般的，结果结点关联于模式树中的目标结点，当匹配到模式树中的目标结点时，可以将后续所有流内容输出到该目标结点关联的结果缓冲中。当结点回退时，如果目标结点状态为未匹配，则删除该缓冲结果；否则将结果向上传递给其父结点，父结点回退时作相同的判断。 v a //a a root a bbb/b a ccc/c /a /a/root 相包含的两个结果 root a bbb/b a ccc/c /a /a/root 相同的两个结果 v a //a//c a c c * * *