计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
1期
249-252
,共4页
本体重用%模块抽取%描述逻辑()%语义本地性%句法本地性
本體重用%模塊抽取%描述邏輯()%語義本地性%句法本地性
본체중용%모괴추취%묘술라집()%어의본지성%구법본지성
Ontologyresuing%Module extraction%Description logic()%Semantic locality%Syntactic locality
可重用本体模块的抽取是本体重用的一个关键环节.与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性.在研究保守扩展的本体模块理论基础上,根据Grau B C提出的()本地性规则,提出并证明了描述逻辑()对应的语义本地性规则和句法本地性规则,为基于该规则抽取可重用本体模块提供了理论基础.
可重用本體模塊的抽取是本體重用的一箇關鍵環節.與傳統工程應用中使用的基于本體層次的結構化方法抽取本體模塊相比,使用邏輯的方法能充分利用本體提供的語義信息,抽取的本體模塊更具完整性和正確性.在研究保守擴展的本體模塊理論基礎上,根據Grau B C提齣的()本地性規則,提齣併證明瞭描述邏輯()對應的語義本地性規則和句法本地性規則,為基于該規則抽取可重用本體模塊提供瞭理論基礎.
가중용본체모괴적추취시본체중용적일개관건배절.여전통공정응용중사용적기우본체층차적결구화방법추취본체모괴상비,사용라집적방법능충분이용본체제공적어의신식,추취적본체모괴경구완정성화정학성.재연구보수확전적본체모괴이론기출상,근거Grau B C제출적()본지성규칙,제출병증명료묘술라집()대응적어의본지성규칙화구법본지성규칙,위기우해규칙추취가중용본체모괴제공료이론기출.
