next up previous
Next: The GENavy, and Up: Formalizing Context (Expanded Notes) Previous: Postponing Preconditions via

Integrating Databases


We see the use of formalized contexts as one of the essential tools for reaching human level intelligence by logic based methods. However, formalized contexts have shorter term applications. In this section we deal with one short term application: we show how two data bases, which were not originally intended to be used together, can be integrated by lifting their contents into a wider context. We proceed with an example. For more practical issues involved in the task of integrating data and knowledge bases see [18, 21].

Sasa Buvac
Sun Jul 12 14:45:30 PDT 1998