特点
一般来讲,模块化本体应该具有以下特点:
(1)模块化本体语义的正确性和完整性(Correctness and Completeness):由模块组成的系统,必须准确提供组成系统的各个模块的信息,各个模块能够独立表达各自的语义。
(2)组合性(Compositionality):在单独模块或几个模块中成立的逻辑属性,在集成之后的系统中也应该是成立的。模块化系统的这种组合性对类似一阶逻辑那样的不可判定逻辑很有意义,因为可以从更小粒度的理论入手尝试证明属性的正确性。对可判定的逻辑而言,组合性对推理性能很有帮助。当前,一些大型本体的规模远远超出推理机的推理能力。
(3)有向性(Directionality):系统应当允许模块之间有向的信息流动,使得一个模块可以在使用而不影响另一个模块。典型的例子是,领域本体使用顶层本体的知识时,领域本体的改变不能对顶层本体产生影响。
(4)可理解(Comprehensibility):模块的可理解性是为了支持系统的可维护性。基础模块的可理解性可以通过控制词汇表的规模和结构、公理集的复杂性达到;组合模块的可理解性,应该可以通过其模块的组合方式实现。
(5)稳定性(Stability):当模块化本体中的某个模块更新(即演化),或添加某个新模块的时候,系统应当保持稳定。对系统结构而言,添加新模块不会破坏原有模块之间已经建立的结构关系。2100433B