论文部分内容阅读
可重用本体模块的抽取是本体重用的一个关键环节。与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性。在研究保守扩展的本体模块理论基础上,根据Grau B C提出的S HOJQ本地性规则,提出并证明了描述逻辑S HJF对应的语义本地性规则和句法本地性规则,为基于该规则抽取可重用本体模块提供了理论基础。
Reusable ontology module extraction is a key part of ontology reuse. Compared with the ontology-based structured-method extraction ontology module used in traditional engineering applications, the logic method can make full use of the semantic information provided by the ontology, and the extracted ontology module is more complete and correct. Based on the conservatively extended ontology module theory, according to the local rule of S HOJQ proposed by Grau BC, the semantic local rules and syntax local rules corresponding to the description logic S HJF are proposed and proved. Based on this rule, reusable ontology Module provides the theoretical basis.