A Deductive Engine for the Semantic Web

该项目旨在解决一些算法和架构问题，这些问题将使表逻辑编程引擎（如XSB(http://xsb.sourceforge.net)）成为支持语义网新兴基础设施的可行平台。该项目将解决以下问题：1。设计算法来解决长期存在的表和更新操作不一致的问题。在引擎级别设计一个支持基于解释的推理的体系结构。开发低开销的算法，以允许在底层谓词发生变化时正确更新表查询答案，这对于需要表并且同时经常修改这些表底层数据（如工作流调度器、验证算法、数据库查询、CASE工具）的应用程序至关重要。基于解释的推理对于调试和验证非常重要。该项目将开发一种新技术，该技术将允许表逻辑引擎为语义网提供推理服务。逻辑推理引擎有望成为语义web基础结构的重要组成部分。一旦到位，语义网将使信息检索和Web服务中的大量应用成为可能，这将成为人们日常生活中不可分割的一部分。

This project aims at solving a number of algorithmic and architecturalproblems that will enable tabled logic programming engines, such as XSB(http://xsb.sourceforge.net), to become viable platforms for supporting theemerging infrastructure for the Semantic Web. The project will address thefollowing issues:1. Design of algorithms for solving a long-standing problem of inconsistency between tabling and update operations.2. Designing an architecture for supporting explanation-based reasoning at the engine level.Developing low-overhead algorithms for allowing tabled query answers to becorrectly updated when changes occur to the underlying predicates is ofcritical importance in applications that require tabling and at the sametime frequently modify the data underlying those tables (such as workflowschedulers, verification algorithms, database queries, CASE tools).Explanation based reasoning is important for debugging and verification.The project will develop a new technology, which will allow tabling logicengines to provide inference services for the Semantic Web. Logicinference engines are expected to become a crucial part of the Semantic Webinfrastructure. Once in place, the Semantic Web will enable a host ofapplications in information retrieval and Web services, which will becomeinseparable part of people's daily life.