论文部分内容阅读
为了使描述逻辑能够处理更一般化的模糊信息，Straccia给出了基于完备格的L-ALC描述逻辑系统．在该方法的基础上，提出了带数量约束算子的L-ALCN系统，给出了望ALCN的语法，并详细给出了概念（≥n R）和（≤n R）的语义．经典的描述逻辑系统中引入了数量约束算子后，角色尺就出现了多个后继．当系统的真子集扩充到完备格时，角色R的后继和断言的真值同时出现了多个．为了保证推理算法的合理性且得到可行的计算复杂度，引入了一个特殊的集合DL（c），并且利用集合DL（c）扩展了完备格上的两条运算性质．在这些工作