• 动态可拓集合 - 引用次数：4

  C, is injected, and the semantic explanation is given according to the semantic explanation method of the dynamic extension set and the traditional description logic. The main research focus is the extension rules of assertion formula concerning the concept>kR.

  引入了形如≥kR.C、≤kR.C的概念描述,并根据动态可拓集合与传统描述逻辑的语义解释方法对它进行语义解释；重点研究了关于概念≥kR.C、≤kR.C的断言的扩充规则,生成了带限定性数目约束的可拓描述逻辑的一致性检测算法,并证明了该算法的可靠性、可终止性以及可判定性。

  参考来源 - 基于可拓集的描述逻辑研究

·2,447,543篇论文数据，部分数据来源于NoteExpress