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