This talk is about integrating biological data available from
biological web services, making use of ideas in logic.

We will first give a quick tutorial on approaches to declarative data
integration. We then explain the logical core of our own data
integration system, which is based on converting implicit definitions
to explicit definitions, using a combination of proof search and
interpolation. We explain how this approach can be adapted to
transform predicate logic formulas representing requests for
information into efficient implementations of the requests over a set
of functional interfaces to stored data.

Finally we turn back from logic to biology, overviewing the
application of our framework to data integration over web services,
and providing examples and experimental results over a corpus of
biological data provided by the European Bioinformatics Institute.