为此，提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式（CDNF）算法。CDNF算法直接在输入概念描述上，以角色为纽带构建不同层次的析取范式，从而将输入概念描述重组成一种层次结构的可满足性直...
基于8个网页-相关网页
完全析取范式
Complete disjunctive paradigm
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动