Interchange of criminal rules between CLRL and LKIF

There is much fuzzy and non-monotonic knowledge in the Semantic Web Criminal Law Area. In recent years, the problem of fuzzy rules interchange has become one of the most important problems in the Semantic Web. Aiming at the problem of heterogeneous fuzzy rule interchange in the Semantic Web, which is based on the proposed Semantic Web Criminal Law Rule Language (CLRL), and based on the rules and norms of XML. We construct the rule mapping between the CLRL and Legal Knowledge Interchange Format (LKIF), and propose a heterogeneous fuzzy criminal law rules interchange architecture (CRIAXS), which supports the bidirectional rule interchange between legal rules. We also analyze the problem of information loss caused by the different language expression ability in the process of legal knowledge interchange, and put forward to the solution. Based on the above description, the prototype system CRIAXS which is based on the JavaScript language has been achieved on the HBuilder platform. We also verify the correctness and stability of the system through multiple conversion examples. The results show that the architecture and the implemented system which laysa solid foundation for the rule-based reasoning, has a good solution to the communication problem between heterogeneous systems, and it has a wide range of application prospects.

[1]  S. Vasanthapriyan,et al.  Meta-model for Collaboration Modeling in Legal Sector , 2015 .

[2]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[3]  Vladan Devedzic,et al.  Model transformations to bridge concrete and abstract syntax of web rule languages , 2009, Comput. Sci. Inf. Syst..

[4]  Thomas F. Gordon,et al.  Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF) , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[5]  Gerd Wagner,et al.  Towards a general web rule language , 2005, Int. J. Web Eng. Technol..

[6]  Haralambos Mouratidis,et al.  A Meta-model for Legal Compliance and Trustworthiness of Information Systems , 2012, CAiSE Workshops.

[7]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[8]  Gerd Wagner,et al.  Rules and Rule Markup Languages for the Semantic Web , 2003, Lecture Notes in Computer Science.

[9]  Michael Kifer,et al.  Rule Interchange on the Web , 2007, Reasoning Web.

[10]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[11]  Mustafa Hashmi,et al.  Enabling Reasoning with LegalRuleML , 2016, RuleML.

[12]  Vladan Devedzic,et al.  Bridging concrete and abstract syntaxes in model‐driven engineering: a case of rule languages , 2009, Softw. Pract. Exp..