D-NSWRL:一种语义Web动态扩展的非单调规则语言

摘要

现实中存在着许多不能完全表示或不断变化的知识,这就要求语义Web不仅能够处理静态知识,还要对动态知识进行处理。仅利用传统描述逻辑已不足以有效表示相关知识,还需增加对动作的表示和推理。针对以上问题,提出的动态非单调语义Web规则语言(dynamic non-monotonic semantic Web rule language,D-NSWRL),它使用一种新的标记语言表示动态和非单调问题,以描述逻辑为主框架,对动态描述逻辑(dynamic description logic)和非单调逻辑进行整合并加以改进;通过定义清晰的语法和语义,在计算规则中提出动作相关度影响结果因子的概念,解决规则间的冲突问题,以表示规则间的优先顺序,对推定结论的优先序做出合乎直观的判断。将D-NSWRL应用到疾病诊断推理原型系统中,取得了良好的反馈,为语义Web环境下对动态以及非单调领域知识的刻画和推理提供了进一步的逻辑支持。