A Deductive Engine for the Semantic 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.