模塊化本體是指具有模塊結構的本體（知識庫的一種表現形式）。許多應用領域需要模塊化的本體，如
當前，實現模塊化本體主要有兩種主要的語言途徑。一種是基於非經典語義的邏輯語言擴展，如分佈式描述邏輯，E-連接和基於包的描述邏輯；另外一種途徑是基於經典描述邏輯語義，但限制對外部符號的使用以保證各模塊可安全的合併。
