III: Small: Efficient Query Processing over Large Probabilistic Knowledge Bases

由于自动抽取过程的不确定性、不完备性和不一致性，使得当前大规模知识库的查询结果是不完整、错误和相互冲突的。该方案的研究目标是扩展现有的知识库系统，以创建一个概率一阶知识库系统，该系统可以使用规则来推断缺失的知识，使用约束来剪枝冲突的知识，并为得到的元组返回置信值。该方案中开发的新系统和算法可以通过声明性查询接口对存在于许多高影响应用中的大型不确定图进行高级在线数据分析，包括知识库、社会网络和生物网络。该方案的研究目标是扩展现有知识库系统的数据模型、查询语言、查询处理和优化技术，以支持概率一阶知识库系统。P.I.将设计一个概率知识库图数据模型；将SPARQL扩展为具有附加推理运算符的概率图查询语言；发明新的查询执行和可伸缩推理查询的优化技术；并在Web规模的概率知识库图上使用统一的数据并行和图形并行系统来实现新的查询处理系统。有关更多信息，请参阅项目网站：http://dsr.cise.ufl.edu/Eureka

Due to the uncertainty, incompleteness and inconsistency from automatic extraction processes, query results from current large-scale knowledge bases (KBs) are incomplete, erroneous and conflicting. The research objective of this proposal is to extend the state-of-the-art KB systems to create a probabilistic first-order KB system that can infer missing knowledge using rules, prune conflicting knowledge using constraints, and return confidence values for resulting tuples. The new system and algorithms developed in this proposal can enable advanced online data analysis through an declarative query interface over large uncertain graphs exist in many high impact applications, including knowledge bases, social networks, and biological networks. The research objective of this proposal is to extend the data model, query language, query processing and optimization techniques of the state-of-the-art KB systems to support a probabilistic first-order KB system. The P.I. will design a probabilistic KB graph data model; extend SPARQL to probabilistic graph query language with additional inference operators; invent new query execution and optimization techniques for scalable inference queries; and implement a new query processing system using a unified data-parallel and graph-parallel system over web-scale probabilistic KB graphs.For further information see the project website at: http://dsr.cise.ufl.edu/Eureka