模塊化本體

一般來講，模塊化本體應該具有以下特點：

（1）模塊化本體語義的正確性和完整性（Correctness and Completeness）：由模塊組成的系統，必須準確提供組成系統的各個模塊的信息，各個模塊能夠獨立表達各自的語義。

（2）組合性（Compositionality）：在單獨模塊或幾個模塊中成立的邏輯屬性，在集成之後的系統中也應該是成立的。模塊化系統的這種組合性對類似一階邏輯那樣的不可判定邏輯很有意義，因為可以從更小粒度的理論入手嘗試證明屬性的正確性。對可判定的邏輯而言，組合性對推理性能很有幫助。當前，一些大型本體的規模遠遠超出推理機的推理能力。

（3）有向性（Directionality）：系統應當允許模塊之間有向的信息流動，使得一個模塊可以在使用而不影響另一個模塊。典型的例子是，領域本體使用頂層本體的知識時，領域本體的改變不能對頂層本體產生影響。

（4）可理解（Comprehensibility）：模塊的可理解性是為了支持系統的可維護性。基礎模塊的可理解性可以通過控制詞彙表的規模和結構、公理集的複雜性達到；組合模塊的可理解性，應該可以通過其模塊的組合方式實現。

（5）穩定性（Stability）：當模塊化本體中的某個模塊更新（即演化），或添加某個新模塊的時候，系統應當保持穩定。對系統結構而言，添加新模塊不會破壞原有模塊之間已經建立的結構關係。