毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2013年
8期
15-20
,共6页
描述逻辑%保守扩充%本体%VL系统
描述邏輯%保守擴充%本體%VL繫統
묘술라집%보수확충%본체%VL계통
保守扩充是数理逻辑中一个重要的性质.本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化.在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论.分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的.
保守擴充是數理邏輯中一箇重要的性質.本體的保守擴充在本體設計和本體集成中扮縯重要的角色,它可形式地精練本體、可靠地進行本體閤併及在本體內部進行本體模塊化.在本體的進化和本體的閤併中,保守擴充最基本的任務是判定閤併後的本體是否是原始本體的保守擴充,如果不是,那麽進化後的本體與原始本體將不能保持一緻的邏輯結論.分析瞭現有的描述邏輯的保守擴充及其相應的判定算法,提齣描述邏輯VL的保守擴充,併構建瞭VL的典範模型,證明瞭VL的保守擴充的判定算法是指數時間複雜的.
보수확충시수리라집중일개중요적성질.본체적보수확충재본체설계화본체집성중분연중요적각색,타가형식지정련본체、가고지진행본체합병급재본체내부진행본체모괴화.재본체적진화화본체적합병중,보수확충최기본적임무시판정합병후적본체시부시원시본체적보수확충,여과불시,나요진화후적본체여원시본체장불능보지일치적라집결론.분석료현유적묘술라집적보수확충급기상응적판정산법,제출묘술라집VL적보수확충,병구건료VL적전범모형,증명료VL적보수확충적판정산법시지수시간복잡적.