在語義網中，本體是解決語義層次問題的重要基礎。在運用本體的過程中，本體描述語言是信息交換，本體構建的重要基礎。描述邏輯（DL）是本體語言設計的重要設計基礎。
現有一個知識庫M，該知識庫是基於描述邏輯的。則M=<Tbox,Abox>。
Tbox，是有關概念和關係的蘊涵斷言集合，描述概念和關係的一般屬性。[1]
其定義了特定知識領域的結構幷包含一系列公理，可以通過已有概念構成新的概念。
是一個描述領域結構的公理集，包含內涵性知識，用概念來表示，通過一組描述概念的一般性屬性的聲明來實現。內涵性公理知識被認爲是不變的，它一般包括概念定義公理和概念包含公理。[2]
Abox，是有關個體的實例斷言集合，斷言一個個體是某個概念的實例，或者兩個個體之間存在某種關係。[1]
是一個描述關於具體個體事實的公理集，包含的是外延性知識。外延性知識通常被認爲是偶然的，依賴於某一特定的環境，因此它是經常變動的。ABox中的斷言包括實例斷言和關係斷言。[2]
參考文獻
[1] 蘭天,程繼紅. 基於Tableau算法的本體模型驗證方法研究[J]. 艦船電子工程, 2011, 31(10): 134-138.
[2] 徐國虎,許芳,董慧. 基於描述邏輯的本體檢錯推理研究——以國共合作領域本體爲例[J]. 中國圖書館學報, 2008, No.173(1): 79-84.