|
Usage of Computational Logic We aimed at exploiting advanced methodologies and techniques from computational logic as a toolbox for information integration. In the recent years, research in computational logic has produced a number of implemented systems by which various advanced reasoning problems such as diagnosis, configuration, etc can be declaratively solved in logic-based languages. The underlying computational engines have been developed (mostly in Europe) with quite some effort, and comprise a body of sophisticated tools and algorithms. Exploiting them for solving reasoning tasks in advanced information integration is a natural approach, but required extensions and adaptations as for the needs of this application. The INFOMIX project, by its usage of computational logic, and in particular of the DLV system, developed at TU-Wien and at the Università della Calabria, contributed in strengthening the leading role of Europe in this key technology for building advanced reasoning systems. |
| <-Information Integration Algorithms |