1、知識編譯作為自動推理技術的一個方面，通常用來處理命題邏輯知識庫，其基本思想是將給定的知識庫轉換成范式的形式，從而提高對命題的查詢效率。最初，這種技術被廣泛用來處理命題推理的難求解性，近幾年隨著對描述邏輯推理服務的不斷研究，它已經(jīng)被成功地應用到描述邏輯推理問題中。
　　推理服務是描述邏輯長期以來的研究重點，其最基本的問題即概念的推理效率沒有得到合理的提高。由于不同的描述語言表達能力也不同，因此描述邏輯中推理問題的計算復雜性與語言的表

2、達能力成正比關系，即語言的表達能力越強，計算復雜性越高。本文分析了描述邏輯中推理服務的研究現(xiàn)狀和存在問題，將知識編譯技術應用于描述邏輯知識庫中。文中，首先對知識編譯基礎理論作了簡要的介紹包括其處理對象;然后詳細介紹描述邏輯的基本語言、應用領域、體系結構及對描述邏輯推理問題進行了深入的研究，闡述了目前方法中存在的問題;針對目前編譯方法中存在的不足，本文第四章提出了提出了一種編譯描述邏輯知識庫的數(shù)據(jù)結構。
　　為證明新編譯方法的可行性