Sketch theory as a framework for knowledge management

In this paper, we give an overview of sketch theory as a knowledge management framework and discuss its strengths relative to logic, the semantic web and relational algebra. Sketch theory, for example, supports modularity among meta-data, instance data and uncertainty. It also provides a notion of constraint-preserving map. We explore Q-trees as a technique for inference with sketches and compare it to logical deduction. Ideas can be formulated in distinct ways even within a fixed formalism. We illustrate solution of this alignment problem using sketches and the notion of Morita equivalence of logical theories. Sketch theory provides rich notions of contextual view with which we compute illustrative examples. Finally, we outline a program for advancing sketch theory as a complement to other knowledge management technologies and discuss transformations between sketches and other models.