摘要：描述邏輯是一族知識(shí)表示的語言,以形式化、結(jié)構(gòu)化的方式表示相應(yīng)的應(yīng)用領(lǐng)域。描述邏輯VL非循環(huán)術(shù)語集的包含推理,通過將描述邏輯VL非循環(huán)術(shù)語集包含推理問題轉(zhuǎn)化為描述樹之間的同態(tài)問題,證明VL非循環(huán)術(shù)語集的包含推理問題是多項(xiàng)式時(shí)間復(fù)雜的。