Abstract. Structural problems of knowledge bases are deserving increasing attention as bigger and more complex expert systems are developed and put into field use. Redundancy is the structural problem that more deeply affects knowledge base maintenance. We provide in this paper a comprehensive analysis of knowledge base redundancy and subsumption and develop a new method for its detection and removal based on graph transformations.