CAJ | 학술논문

分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统)；通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础.
분보식동태묘술라집(distributed dynamic description logics,D3L)흔호지실현료재다개자치본체지간도입화중용지식적사상.재다개동태묘술라집(dynamic description logics,DDL)본체지간교규칙구성련적정황하,지식병불총시안예기적방식정학전파.차감료기우포적묘술라집(P-DL)적사상,인입료조합일치성어의대D3L진행료확전종이흔호지해결료상술문제.계통지연구료확전득도적묘술라집D3L(ccy)적속성급분포식추리이론.증명료해묘술라집적단조성(D3L(ccy)시일충단조라집)、유향성(교규칙적영향구유방향성)급충돌국부성(국부본체적충돌불회전파도정개분포식계통)；통과대원유Tableaux추리산법적확전,위D3L(ccy)제출료분포식Tableaux추리산법병연구료산법적성질,증명료해산법시가종지적、가고적화완비적.여전통적D3L상비,확전후적D3L가이위신식집성계통、어의Web등분포식、동태적계통제공경위합리적라집기출.