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

摘要：

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

关键词：动态描述逻辑、非单调问题、D-NSWRL、优先级判定、语义Web

所属期刊栏目：32

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金61402212;辽宁省高等学校杰出青年学者成长计划LJQ2015045;辽宁省自然科学基金面上项目2015020098;中国博士后基金面上项目2016M591452

在线出版日期：2020-04-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：154-163