Advertisement

LegalRuleML: Design Principles and Foundations

  • Tara Athan
  • Guido Governatori
  • Monica Palmirani
  • Adrian Paschke
  • Adam Wyner
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9203)

Abstract

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.

Keywords

LegalRuleML RuleML Legal rule modelling Meta model 

References

  1. 1.
    Adida, B., Birbeck, M., McCarron, S., Herman, I.: RDFa core 1.1 - third edition. http://www.w3.org/TR/rdfa-core/#s_curies
  2. 2.
    Alchourrón, C.E., Bulygin, E.: Permission and permissive norms. In: Krawietz, W., et al. (eds.) Theorie der Normen, pp. 349–371. Duncker & Humblot, Berlin (1984)Google Scholar
  3. 3.
    Antoniou, G.: Defeasible logic with dynamic priorities. Int. J. Intell. Syst. 19(5), 463–472 (2004)CrossRefzbMATHGoogle Scholar
  4. 4.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Logic 2(2), 255–287 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: OASIS LegalRuleML. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, pp. 3–12, New York (2013)Google Scholar
  6. 6.
    Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: Legal interpretations in LegalRuleML. In: Villata, S., Peroni, S., Palmirani, M. (eds.) Proceedings of the Semantic Web for the Law and Second Jurix Doctoral Consortium Workshops (SW4LAW+JURIX-DC 2014). CEUR Workshop Proceedings, vol. 1296, CEUR-WS.org (2014)Google Scholar
  7. 7.
    Bench-Capon, T., Coenen, F.P.: Isomorphism and legal knowledge based systems. Artif. Intell. Law 1(1), 65–86 (1992)CrossRefGoogle Scholar
  8. 8.
    Brickley, D., Guha, R.V.: RDF schema 1.1. http://www.w3.org/TR/rdf-schema/
  9. 9.
    Dattolo, A., Di Iorio, A., Duca, S., Feliziani, A.A., Vitali, F.: Structural patterns for descriptive documents. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol. 4607, pp. 421–426. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  10. 10.
    de Saussure, F.: Cours de Linguistique Générale. Payot, Lausanne (1916) Google Scholar
  11. 11.
    Dworkin, R.: The model of rules I. In Taking Rights Seriously. Harvard University Presss, Cambridge, MA (1977)Google Scholar
  12. 12.
    Gordon, T., Prakken, H., Walton, D.: The Carneades model of argument and burden of proof. Artif. Intell. 171, 875–896 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Gordon, T.F.: The Pleadings Game-An Artificial Intelligence Model of Procedural Justice. Springer, New York (1995) Google Scholar
  14. 14.
    Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: Requirements for rule interchange languages in the legal domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 282–296. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  15. 15.
    Governatori, G.: Un modello formale per il ragionamento giuridico. Ph.D. thesis, CIRFID, Università di Bologna (1997)Google Scholar
  16. 16.
    Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2–3), 181–216 (2005)CrossRefGoogle Scholar
  17. 17.
    Governatori, G.: On the relationship between Carneades and defeasible logic. In: van Engers, T. (ed.) Proceedings of the 13th International Conference on Artificial Intelligence and Law (ICAIL 2011), pp. 31–40. ACM Press (2011)Google Scholar
  18. 18.
    Governatori, G.: Business process compliance: An abstract normative framework. IT Inf. Technol. 55(6), 231–238 (2013)MathSciNetGoogle Scholar
  19. 19.
    Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. J. Philos. Logic 42(6), 799–829 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australas. J. Logic 4, 193–215 (2006)MathSciNetzbMATHGoogle Scholar
  21. 21.
    Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic J. IGPL 18(1), 157–194 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 25–34. ACM (2005)Google Scholar
  23. 23.
    Hart, H.: The Concept of Law, 2nd edn. Clarendon Press, Oxford (1994)Google Scholar
  24. 24.
    Herrestad, H., Krogh, C.: Obligations directed from bearers to counterparts. In: Proceedings of the Fifth International Conference on Artificial Intelligence and Law (ICAIL 1995), pp. 210–218 (1995)Google Scholar
  25. 25.
    Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  26. 26.
    Lappin, S. (ed.): The Handbook of Contemporary Semantic Theory. Blackwell Publishers, Cambridge (1997)Google Scholar
  27. 27.
    Nute, D.: Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, chapter Defeasible Logic, pp. 353–395. Oxford University Press, Oxford, 1994Google Scholar
  28. 28.
    Palmirani, M., Cervone, L., Bujor, O., Chiappetta, M.: RAWE: an editor for rule markup of legal texts. In: Fodor, P., Roman, D., Anicic, D., Wyner, D., Palmirani, M., Sottara, D., Lévy, F. (eds.) Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium. CEUR Workshop Proceedings, Seattle, USA, 11–13 July 2013, vol. 1004, CEUR-WS.org (2013)Google Scholar
  29. 29.
    Palmirani, M., Governatori, G., Contissa, G.: Temporal dimensions in rules modelling. In: Winkels, R. (ed.) JURIX. Frontiers in Artificial Intelligence and Applications, vol. 223, pp. 159–162. IOS Press, Amsterdam (2010)Google Scholar
  30. 30.
    Palmirani, M., Governatori, G., Rotolo, A., Tabet, S., Boley, H., Paschke, A.: LegalRuleML: XML-based rules and norms. In: Palmirani, M. (ed.) RuleML - America 2011. LNCS, vol. 7018, pp. 298–312. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  31. 31.
    Prakken, H., Sartor, G.: A dialectical model of assessing conflicting argument in legal reasoning. Artif. Intell. Law 4(3–4), 331–368 (1996)CrossRefGoogle Scholar
  32. 32.
    Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non Class. Logics 7(1), 25–75 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Raz, J.: Between authority and interpretation: on the theory of law and practical reason. Oxford University Press, Oxford (2009)CrossRefGoogle Scholar
  34. 34.
    Sartor, G.: Legal reasoning: A cognitive approach to the law. In: Pattaro, E., Rottleuthner, H., Shiner, R.A., Peczenik, A., Sartor, G. (eds.) A Treatise of Legal Philosophy and General Jurisprudence, vol. 5. Springer, Berlin (2005)Google Scholar
  35. 35.
    Scalia, A., Garner, B.A.: Reading Law: The Interpretation of Legal Texts. West, Minneapolis (2012)Google Scholar
  36. 36.
    Searle, J.R.: The Construction of Social Reality. The Free Press, New York (1996) Google Scholar
  37. 37.
    Nicos Stavropoulos. Legal interpretivism. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Summer 2014 edition (2014)Google Scholar
  38. 38.
    Georg Henrik von Wright: Norm and action: A logical inquiry. Routledge and Kegan Paul, London (1963)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Tara Athan
    • 1
  • Guido Governatori
    • 2
  • Monica Palmirani
    • 3
  • Adrian Paschke
    • 4
  • Adam Wyner
    • 5
  1. 1.Athan ServicesWest LafayetteUSA
  2. 2.NICTA QueenslandBrisbaneAustralia
  3. 3.CIRSFIDUniversity of BolognaBolognaItaly
  4. 4.Corporate Semantic WebFreie UniversitatBerlinGermany
  5. 5.University of AberdeenAberdeenUK

Personalised recommendations