Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

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

Aquaint: From Question-Answering to Information Seeking Dialogs

From question-answering to information-seeking dialogs.

Deductive Composition

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

Deductive Composition of Software from Component Libraries

overview here

Deductive Synthesis

Deductive Synthesis of Computer Programs

DAML

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.

AIC Personnel

Name Title E-mail
Jarvis, Peter A Alumnus
Waldinger, Richard J Principal Scientist

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy