CLRL:一种语义Web刑法规则语言  

CLRL: A Criminal Law Rule Language in the Semantic Web

作　　者：王星[1] 葛梦阳 马宗民 陈吉[1,2] 

机构地区：[1]辽宁工程技术大学电子与信息工程学院,辽宁葫芦岛125105 [2]辽宁工程技术大学研究生院,辽宁葫芦岛125105 [3]南京航空航天大学计算机科学与技术学院,南京211106

出　　处：《小型微型计算机系统》2018年第3期572-577,共6页Journal of Chinese Computer Systems

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

摘　　要：语义Web刑法领域存在大量的模糊和非单调知识,而这些知识无法用当前的规则语言和规则标记语言表示.针对此问题,本文提出了一种语义Web刑法规则语言CLRL(Criminal Law Rule Language).首先,结合刑法规则的特点,构建其元模型以及UML Profile;然后,结合时间逻辑和Dublin Core标准,定义其元数据,并使用XML Schema对其进行描述;最后,结合模态逻辑、可废止逻辑和模糊集理论来定义CLRL的具体语法和详细语义.本文利用Visual Prolog工具,通过刑法案例推理,实现了语义Web刑法领域知识的模糊和非单调推理.CLRL在表示和推理模糊和非单调规则方面具有较强的能力,为语义Web刑法规则的自动推理奠定了重要基础.There is much fuzzy and non-monotonic knowledge in Semantic Web Criminal Law Area lwhich cannot be represented by the current rule languages and rule interchange languages. Aiming at the problem, we propose a new Semantic Web criminal law rule language CLRL （ Criminal Law Rule Language）. Firstly, combining the features of criminal law rules, we construct its metamodels and UML Profile. Secondly, based on temporal logic and Dublin Core standard, we define its meta data, and describe it use XML Schema. Finally, combining modal logic, defeasible logic and fuzzy set theory, we define its concrete syntax and detailed semantics. In this pa- per, we use Visual Prolog tool to reason the Criminal Law cases and realize the fuzzy and non-monotonic reasoning in Semantic Web Criminal Law field. CLRL is capable of representing and reasoning with criminal law roles, which lays a solid foundation for the rea- soning of Semantic Web criminal law rules.

关 键 词：语义WEB 刑法规则 CLRL 可废止逻辑 规则推理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]