模組化本體（Modular Ontology）是本體模組和模組之間連線的集合，本體模組之間通過接口連線，模組化本體中單個模組的更新不影響組成本體的其他模組，也不影響模組化本體整體的知識表示。
基本介紹
- 中文名：模組化本體
- 外文名：Modular Ontology
- 含義：本體模組和模組之間連線的集合
- 範疇：系統結構
特點
一般來講，模組化本體應該具有以下特點：
（1）模組化本體語義的正確性和完整性（Correctness and Completeness）：由模組組成的系統，必須準確提供組成系統的各個模組的信息，各個模組能夠獨立表達各自的語義。
（2）組合性（Compositionality）：在單獨模組或幾個模組中成立的邏輯屬性，在集成之後的系統中也應該是成立的。模組化系統的這種組合性對類似一階邏輯那樣的不可判定邏輯很有意義，因為可以從更小粒度的理論入手嘗試證明屬性的正確性。對可判定的邏輯而言，組合性對推理性能很有幫助。當前，一些大型本體的規模遠遠超出推理機的推理能力。
（3）有向性（Directionality）：系統應當允許模組之間有向的信息流動，使得一個模組可以在使用而不影響另一個模組。典型的例子是，領域本體使用頂層本體的知識時，領域本體的改變不能對頂層本體產生影響。
（4）可理解（Comprehensibility）：模組的可理解性是為了支持系統的可維護性。基礎模組的可理解性可以通過控制辭彙表的規模和結構、公理集的複雜性達到；組合模組的可理解性，應該可以通過其模組的組合方式實現。
（5）穩定性（Stability）：當模組化本體中的某個模組更新（即演化），或添加某個新模組的時候，系統應當保持穩定。對系統結構而言，添加新模組不會破壞原有模組之間已經建立的結構關係。
