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

CLRL: A Criminal Law Rule Language in the Semantic Web

语义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.