簡單介紹了表示、推理知識(shí)的形式語言：描述邏輯。首先，給出了DL基本概念的簡短綜述；然后，介紹了句法和語義，包括應(yīng)用在系統(tǒng)中或在文獻(xiàn)中提到的基本結(jié)構(gòu)，以及這些結(jié)構(gòu)被用來建造知識(shí)庫的方法；最后，定義了典型的推理問題，展現(xiàn)了它們是如何相互聯(lián)系的，并且描述了解決這些問題的不同方法。