The extended default description logic

The default description logic theories are special default theories, in which every statement is atomic. Therefore, the default description logic has some features which do not hold in the ordinary default logic. It will be proved that (1) a default description logic theory is logically implied by a normal default description logic theory under the closed world assumption; and (2) a default description logic theory under the closed world assumption is implied logically by an extended default description logic theory.