论文部分内容阅读
可重用本体模块的抽取是本体重用的一个关键环节.与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性.在研究保守扩展的本体模块理论基础上,根据Grau B C提出的 本地性规则,提出并证明了描述逻辑 对应的语义本地性规则和句法本地性规则,为基于该规则抽取可重用本体模块提供了理论基础.