Using Deduction to Choreograph Multiple Data Sources
by Waldinger, R. , Jarvis, P., and Dungan, J.
in Semantic Web Technologies for Searching and Retrieving
Address: Sanibel Island, Florida Organization: 2nd International Semantic Web Conference Oct 2003.
Abstract
Automatic theorem proving is employed to coordinate multiple data and knowledge sources. Sources are related to a central axiomatic theory so that their interaction can be inferred. The method is applied to human language question answering in geography and earth science.
Deductive Composition of Multiple Data Sources
A framework is being developed for composing answers to queries, using
automated deduction and multi-agent information brokering, based on
multiple information sources. The technology is being applied to
answering geographical queries for ecological modeling, based on NASA
EOSDIS satellite imagery, map data, and gazetteer information.