Theory restructuring - a perspective on design and maintenance of knowlege based systems