Publication Details

Deductive Discovery and Composition of Resources

by Waldinger, R. and Shrager, J.

in RoW2006: Reasoning on the Web

Address: Edinburgh, Scotland
Organization: World-Wide Web Consortium
May 2006.

Abstract

We consider the problem of answering a query, where the answer is not provided explicitly by any one resource, but has to be deduced from information provided by many resources; where the resources include both data and software; and where the resources are heterogeneous and not designed to work together. We adopt a deductive approach to this problem, in which the discovery of the appropriate resources and their composition is performed by a theorem prover. The techniques are domain-independent and are applied here to problems in molecular biology.

Electronic Copies

Adobe PDF

Word

BibTeX

EndNote

AIC Personnel

	Name	Title	E-mail
	Waldinger, Richard J	Principal Scientist