%0 Journal Article
%T CLRL:一种语义Web刑法规则语言
%A 王星
%A 葛梦阳
%A 陈吉
%A 马宗民
%A 
%J 中山大学学报（自然科学版）
%D 2018
%X 摘要 语义Web刑法领域存在大量的模糊和非单调知识,而这些知识无法用当前的规则语言和规则标记语言表示.针对此问题,本文提出了一种语义Web刑法规则语言CLRL (Criminal Law Rule Language).首先,结合刑法规则的特点,构建其元模型以及UML Profile;然后,结合时间逻辑和Dublin Core标准,定义其元数据,并使用XML Schema对其进行描述;最后,结合模态逻辑、可废止逻辑和模糊集理论来定义CLRL的具体语法和详细语义.本文利用Visual Prolog工具,通过刑法案例推理,实现了语义Web刑法领域知识的模糊和非单调推理.CLRL在表示和推理模糊和非单调规则方面具有较强的能力,为语义Web刑法规则的自动推理奠定了重要基础
%K 语义Web
%K 刑法规则
%K CLRL
%K 可废止逻辑
%K 规则推理
%U http://xwxt.sict.ac.cn/CN/abstract/abstract4365.shtml