D3L(ccy)的属性及分布式Tableaux推理算法的研究

Keywords: [分布式动态描述逻辑, 知识传播, 组合一致性, 分布式推理, Tableaux推理算法, distributed dynamic description logics(D3L), knowledge propagation, compositional consistency, distributed reasoning, Tableaux reasoning algorithm]

Full-Text   Cite this paper   Add to My Lib

Abstract:

分步式动态描述逻辑(distributed dynamic ..

Full-Text