%0 Journal Article
%T D3L(ccy)的属性及分布式Tableaux推理算法的研究
%A 史忠植
%A 张文波
%A 田东平
%A 赵晓非
%J -
%D 2014
%X 分步式动态描述逻辑(distributed dynamic ..
%K [分布式动态描述逻辑
%K 知识传播
%K 组合一致性
%K 分布式推理
%K Tableaux推理算法
%K distributed dynamic description logics(D3L)
%K knowledge propagation
%K compositional consistency
%K distributed reasoning
%K Tableaux reasoning algorithm]
%U http://crad.ict.ac.cn/CN/Y2014/V51/I3/570