Waldinger, R. and Shrager, J. Deductive Discovery and Composition of Resources, in RoW2006: Reasoning on the Web, Edinburgh, Scotland, May 2006.
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.
Keywords: semantic integration, question answering, bioinformatics, answer extraction, procedural attachment, theorem proving.