A Deductive Engine for the Semantic Web

该项目旨在解决一些算法和架构问题，这些问题将使表格逻辑编程引擎，如XSB（xsb.sourceforge.net），成为支持语义网新兴基础设施的可行平台。该项目将解决以下问题：1.设计算法解决一个长期存在的问题， 制表和更新操作之间的不一致。设计一种支持基于推理的体系结构 开发低开销的算法，以便在底层谓词发生变化时正确地更新表查询答案，这对于需要制表并同时频繁修改这些表底层数据的应用程序至关重要（例如工作流管理器、验证算法、数据库查询，基于解释的推理对于调试和验证很重要。该项目将开发一种新技术，它将允许制表逻辑引擎为语义Web提供推理服务。 逻辑推理引擎有望成为语义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.