|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 RSS/FOAF/Dublin Core/CIM/PRISM/Gene Ontology 』 (http://bbs.xml.org.cn/list.asp?boardid=3) ---- 对RDF的查询能用推理机来完成吗 (http://bbs.xml.org.cn/dispbbs.asp?boardid=3&rootid=&id=71137) |
|
-- 作者：lipeiqiang1997 -- 发布时间：1/5/2009 7:07:00 PM -- 对RDF的查询能用推理机来完成吗 最近导师让我想到一个问题，就是对RDF查询和推理，我想应该对现在的的RDF查询系统的现状做一个最新的调查，就是这些系统的优点和缺点，那方面还可以进行改进，但是到目前没有找到这方面的内容，我对这方面了解不多，如果有哪位朋友知道，希望不吝赐教，谢谢了 |
|
-- 作者：whfcarter -- 发布时间：1/6/2009 1:05:00 AM -- RDF查询当然可以用推理机做。查询可以被看作是推理的special case，写作Q |= K。检测一个instance或者schema是答案可以通过判断neg Q and K是inconsistent的，其中Q中相应的atom的variable用该instance或者schema代替。所以从概念上可以通过枚举所有的实例来做consistency checking。当然从实际系统来说有很多优化方法，同时LUBM (Lehigh university benchmark)以及其后续UOBM都可以看作是测试triple store（主要是推理和查询能力）的标准评测集。参与评测的系统包括来自研究界的Koan2, OWLIM也有来自企业的Oracle RDF，Jena等。这些系统不仅讨论了不同的schema设计包括传统的三列表的，也有vertical partitioning和property table的，也讨论了其支持的表达能力，刚刚提到的不少是基于OWL以及其子集的。之后，有其他的benchmark(e.g. berlin benchmark和sp2benchmark)，他们都侧重于triple store的查询能力，把reasoning作为一种可选项。在这种评估集中，要求答案是sound的而非complete的，同时侧重各种查询性能的提高，包括schema的设计，索引的选择，cache以及query optimization甚至compression等，虽然更加lightweight，但是主要集中在RDF,尤其是open linked data出现之后，对于相关系统的研究和开发更加火热了。有兴趣的话可以看一下 http://esw.w3.org/topic/LargeTripleStores |
|
-- 作者：lipeiqiang1997 -- 发布时间：1/6/2009 1:19:00 PM -- 太感谢这位朋友了，真是位热心人，赞一个。 |
|
-- 作者：Humphrey -- 发布时间：1/8/2009 5:15:00 PM -- 您的疑问也可以参考话题：[讨论]您眼中的推理规则http://bbs.w3china.org/dispbbs.asp?boardID=10&ID=70548 内容是有关推理和查询的一些基本的讨论。如果您不嫌弃的话，欢迎您参与讨论。谢谢！ |
|
-- 作者：lipeiqiang1997 -- 发布时间：1/8/2009 7:32:00 PM -- 多谢上面这个朋友提供这些资料，能在一起讨论问题和交换资料总是一件好事。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
50.781ms |