Publication Details

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.

Electronic Copies

Adobe PDF

BibTeX

EndNote

Associated Projects

	Aquaint: From Question-Answering to Information Seeking Dialogs From question-answering to information-seeking dialogs.
	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.
	Deductive Composition of Software from Component Libraries overview here
	Deductive Synthesis of Computer Programs
	Knowledge Creation Tools for DAML This project is building ontologies and tools in support of the Semantic Web, as part of the DARPA Agent Markup Language program.