LegalRuleML: Design Principles and Foundations

This tutorial presents the principles of the OASIS LegalRuleML applied to the legal domain and discusses why, how, and when LegalRuleML is well-suited for modelling norms. To provide a framework of reference, we present a comprehensive list of requirements for devising rule interchange languages that capture the peculiarities of legal rule modelling in support of legal reasoning. The tutorial comprises syntactic, semantic, and pragmatic foundations, a LegalRuleML primer, as well as use case examples from the legal domain.

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

[2]  T. Gordon.  The Pleadings Game , 1993, ICAIL '93.

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

[4]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[5]  J. Raz.  Between Authority and Interpretation: On the Theory of Law and Practical Reason , 2009 .

[6]  Guido Governatori,et al.  Legal Interpretations in LegalRuleML , 2014, SW4LAW+DC@JURIX.

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

[8]  Bryan A. Garner,et al.  Reading Law: The Interpretation of Legal Texts , 2012 .

[9]  R. Dworkin.  The Model of Rules , 1967 .

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

[11]  Roland Houde,et al.  Handbook of Logic , 2013 .

[12]  Shalom Lappin,et al.  当代语义理论指南 = The Handbook of Contemporary Semantic Theory , 2015 .

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

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

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

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

[17]  Monica Palmirani,et al.  RAWE: An Editor for Rule Markup of Legal Texts , 2013, RuleML.

[18]  Guido Governatori.  Un Modello Formale Per Il Ragionamento Giuridico , 1997 .

[19]  Angelo Di Iorio,et al.  Structural Patterns for Descriptive Documents , 2007, ICWE.

[20]  F. D. Saussure.  Cours de linguistique générale , 1924 .

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

[22]  Guido Governatori,et al.  LegalRuleML: XML-Based Rules and Norms , 2011, RuleML America.

[23]  Christen Krogh,et al.  Obligations directed from bearers to counterparts , 1995, ICAIL '95.

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

[25]  J. Raz,et al.  Between authority and interpretation , 2009 .

[26]  Jessika Schulze,et al.  Handbook Of Logic In Artificial Intelligence And Logic Programming , 2016 .

[27]  Guido Governatori,et al.  Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.

[28]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

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

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

[31]  Guido Governatori,et al.  OASIS LegalRuleML , 2013, ICAIL.

[32]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.

[33]  Guido Governatori.  Business Process Compliance: An Abstract Normative Framework , 2013 .

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

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

[36]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.