OASIS LegalRuleML

In this paper we present the motivation, use cases, design principles, abstract syntax, and initial core of LegalRuleML. The LegalRuleML-core is sufficiently rich for expressing legal sources, time, defeasibility, and deontic operators. An example is provided. LegalRuleMLis compared to related work.

[1]  Giuseppe Contissa,et al.  Fill the Gap in the Legal Knowledge Modelling , 2009, RuleML.

[2]  Tom M. van Engers,et al.  Proceedings of the 13th International Conference on Artificial Intelligence and Law , 1993, ICAIL 2011.

[3]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[4]  Guido Governatori,et al.  Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .

[5]  Pompeu Casanovas,et al.  Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications , 2005, Law and the Semantic Web.

[6]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[7]  Guido Governatori,et al.  Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.

[8]  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.

[9]  Thomas F. Gordon,et al.  Pleadings game - an artificial intelligence model of procedural justice , 1995 .

[10]  Henry Prakken,et al.  The Carneades model of argument and burden of proof , 2007, Artif. Intell..

[11]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[12]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[13]  Guido Governatori,et al.  Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings , 2009, RuleML.

[14]  Rinke Hoekstra,et al.  LKIF Core: Principled Ontology Development for the Legal Domain , 2009, Law, Ontologies and the Semantic Web.

[15]  Brian Davis,et al.  On Controlled Natural Languages: Properties and Prospects , 2009, CNL.

[16]  Guido Governatori,et al.  Norm Compliance in Business Process Modeling , 2010, RuleML.

[17]  Fabio Vitali,et al.  MetaLex XML and the Legal Knowledge Interchange Format , 2008, Computable Models of the Law, Languages, Dialogues, Games, Ontologies.

[18]  Guido Governatori.  On the relationship between Carneades and Defeasible Logic , 2011, ICAIL.

[19]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[20]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[21]  Simonetta Montemagni,et al.  Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language , 2010, Semantic Processing of Legal Texts.

[22]  Benjamin N. Grosof.  Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..

[23]  Giuseppe Contissa,et al.  Temporal Dimensions in Rules Modelling , 2010, JURIX.

[24]  Rinke Hoekstra,et al.  Developing Content for LKIF: Ontologies and Frameworks for Legal Reasoning , 2006, JURIX.

[25]  Grigoris Antoniou.  Defeasible logic with dynamic priorities , 2002, NMR.

[26]  Trevor J. M. Bench-Capon,et al.  Isomorphism and legal knowledge based systems , 1992, Artificial Intelligence and Law.

[27]  Giovanni Sartor,et al.  Legal concepts as inferential nodes and ontological categories , 2009, Artificial Intelligence and Law.

[28]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[29]  Henry Prakken,et al.  A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.