Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic and Argumentation

CLAR 2020: Logic and Argumentation pp 131–150Cite as

A Meta-level Annotation Language for Legal Texts

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 12061))

Abstract

There are many legal texts which can greatly benefit from the support of automated reasoning. Such support depends on the existence of a logical formalization of the legal text. Among the methods used for the creation of these knowledge bases, annotation tools attempt to abstract over the logical language and support non-logicians in their efforts to formalize documents. Nevertheless, legal documents use a rich language which is not easy to annotate. In this paper, an existing annotation tool is being extended in order to support the formalization of a complex example - the GDPR’s article 13. The complexity of the article prevents a direct annotation using logical and deontical operators. This is overcome by the implementation of several macros. We demonstrate the automated reasoning over the formalized article and argue that macros can be used to formalize complex legal texts.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    https://eur-lex.europa.eu/eli/reg/2016/679/oj.

  2. 2.

    https://eur-lex.europa.eu/eli/reg/2016/679/oj.

  3. 3.

    Please login to https://nai.uni.lu using the email address: gdpr@nai.lu and password: nai. Please note that this account is write protected and cannot be changed. Note also that no registration is required in order to use the above account!.

  4. 4.

    Please search for the text “statements51Formula” in https://raw.githubusercontent.com/dapreco/daprecokb/master/gdpr/rioKB_GDPR.xml, of a version no later than 11/2019.

  5. 5.

    https://github.com/normativeai/frontend/issues.

References

  1. Bartolini, C., Lenzini, G., Santos, C.: An agile approach to validate a formal representation of the GDPR. In: Kojima, K., Sakamoto, M., Mineshima, K., Satoh, K. (eds.) JSAI-isAI 2018. LNCS (LNAI), vol. 11717, pp. 160–176. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-31605-1_13

    Chapter  Google Scholar 

  2. Bench-Capon, T.J., Coenen, F.P.: Isomorphism and legal knowledge based systems. Artif. Intell. Law 1(1), 65–86 (1992)

    Article  Google Scholar 

  3. Bench-Capon, T.J., Robinson, G.O., Routen, T.W., Sergot, M.J.: Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation. In: Proceedings of ICAIL, pp. 190–198 (1987)

    Google Scholar 

  4. Biagioli, C., Mariani, P., Tiscornia, D.: Esplex: a rule and conceptual model for representing statutes. In: Proceedings of ICAIL, pp. 240–251. ACM (1987)

    Google Scholar 

  5. Blanchette, J.C., Nipkow, T.: Nitpick: a counterexample generator for higher-order logic based on a relational model finder. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol. 6172, pp. 131–146. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14052-5_11

    Chapter  Google Scholar 

  6. Boutilier, C.: Conditional logics of normality as modal systems. Proc. AAAI. 90, 594–599 (1990)

    Google Scholar 

  7. Bouton, T., Caminha B. de Oliveira, D., Déharbe, D., Fontaine, P.: veriT: an open, trustable and efficient SMT-solver. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol. 5663, pp. 151–156. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02959-2_12

    Chapter  Google Scholar 

  8. Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic, vol. 277. Springer, Dordrecht (2012). https://doi.org/10.1007/978-94-011-5292-1

    Book  MATH  Google Scholar 

  9. Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: Proceedings of ICAIL, pp. 245–246. ACM (2013)

    Google Scholar 

  10. Kifer, M.: Nonmonotonic reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 1–12. Springer, Heidelberg (2005). https://doi.org/10.1007/11546207_1

    Chapter  MATH  Google Scholar 

  11. Libal, T., Pascucci, M.: Automated reasoning in normative detachment structures with ideal conditions. In: Proceedings of ICAIL, pp. 63–72. ACM (2019)

    Google Scholar 

  12. Libal, T., Steen, A.: NAI: the normative reasoner. In: Proceedings of ICAIL, pp. 262–263. ACM (2019)

    Google Scholar 

  13. de Montety, C., Antignac, T., Slim, C.: GDPR modelling for log-based compliance checking. In: Meng, W., Cofta, P., Jensen, C.D., Grandison, T. (eds.) IFIPTM 2019. IAICT, vol. 563, pp. 1–18. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-33716-2_1

    Chapter  Google Scholar 

  14. Otten, J.: Implementing connection calculi for first-order modal logics. In: Proceedings of IWIL, pp. 18–32 (2012)

    Google Scholar 

  15. Otten, J.: MleanCoP: a connection prover for first-order modal logic. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS (LNAI), vol. 8562, pp. 269–276. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08587-6_20

    Chapter  Google Scholar 

  16. Palmirani, M., Cervone, L., Bujor, O., Chiappetta, M.: RAWE: an editor for rule markup of legal texts. In: Proceedings of RuleML (2013)

    Google Scholar 

  17. Palmirani, M., Governatori, G.: Modelling legal knowledge for GDPR compliance checking. In: Proceedings of JURIX, pp. 101–110 (2018)

    Google Scholar 

  18. Prakken, H., Sartor, G.: The three faces of defeasibility in the law. Ratio Juris 17(1), 118–139 (2004)

    Article  Google Scholar 

  19. Robaldo, L., Bartolini, C., Palmirani, M., Rossi, A., Martoni, M., Lenzini, G.: Formalizing gdpr provisions in reified I/O logic: the DAPRECO knowledge base. J. Logic Lang. Inf. 1–49 (2019). https://doi.org/10.1007/s10849-019-09309-z

  20. Routen, T., Bench-Capon, T.: Hierarchical formalizations. Man-Mach. Stud. 35(1), 69–93 (1991)

    Article  Google Scholar 

  21. Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British Nationality Act as a logic program. Commun. ACM 29(5), 370–386 (1986)

    Article  Google Scholar 

  22. Sherman, D.M.: Expert systems and ICAI in tax law: killing two birds with one AI stone. In: Proceedings of ICAIL, pp. 74–80. ACM (1989)

    Google Scholar 

  23. Stamper, R.: LEGOL: modelling legal rules by computer. In: Computer Science and Law, pp. 45–71 (1980)

    Google Scholar 

  24. Suda, M., Weidenbach, C.: A PLTL-prover based on labelled superposition with partial model guidance. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS (LNAI), vol. 7364, pp. 537–543. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31365-3_42

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Luxembourg, Luxembourg City, Luxembourg

    Tomer Libal

Authors
  1. Tomer Libal
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tomer Libal .

Editor information

Editors and Affiliations

  1. Utrecht University, Utrecht, Utrecht, The Netherlands

    Mehdi Dastani

  2. Zhejiang University, Hangzhou, China

    Huimin Dong

  3. University of Luxembourg, Luxembourg, Luxembourg

    Leon van der Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Libal, T. (2020). A Meta-level Annotation Language for Legal Texts. In: Dastani, M., Dong, H., van der Torre, L. (eds) Logic and Argumentation. CLAR 2020. Lecture Notes in Computer Science(), vol 12061. Springer, Cham. https://doi.org/10.1007/978-3-030-44638-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-44638-3_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-44637-6

  • Online ISBN: 978-3-030-44638-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation