描述逻辑( 二 )