论文部分内容阅读
现实中存在着许多不能完全表示或不断变化的知识,这就要求语义Web不仅能够处理静态知识,还要对动态知识进行处理。仅利用传统描述逻辑已不足以有效表示相关知识,还需增加对动作的表示和推理。针对以上问题,提出的动态非单调语义Web规则语言(dynamic non-monotonic semantic Web rule language, D-NSWRL),它使用一种新的标记语言表示动态和非单调问题,以描述逻辑为主框架,对动态描述逻辑(dynamic description logic)和非单调逻辑进行整合并