The HPKB project deals with complex knowledge, much of which we currently do not know how to represent. HPKBs also deal with large amounts of knowledge, much of which is irrelevant to the problem at hand. Issues arise in integrating knowledge from different sources, and from different perspective. These must be overcome if large knowledge bases are to be built.
The Stanford Formal Reasoning Group is well equipped to contribute to several parts of the technology required for high performance knowledge bases.