Abstract
This chapter explores the building of a multibridge between legal texts and their representations in computers. We hold that in the transformation from a legal text to the formalisation of that legal text, the path connecting the legal text to the computer implementation has intermediate steps. Formalising legal meanings reveals additional goals and makes them explicit. The thesis is that symbolisation and visualisation precede formalisation on the way to the representation of legal knowledge. Specifically, the open texture of the law can be decreased. Hence, visualisation serves as a syntactic bridge to technology.
Based on Čyras and Lachmayer (2013).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Reed and Murray (2018, p. vii) continue: “The answer has never successfully identified ‘the law’ but, at best, ‘some of these laws’. At first we thought this was a defect in our own understandings, but over time we have come to the view that it is in fact the defect in law itself.”
- 2.
See Wikipedia, the V-Model, https://en.wikipedia.org/wiki/V-Model.
References
Boer A, Winkels R, Vitali F (2008) MetaLex XML and the legal knowledge interchange format. In: Casanovas P, Sartor G, Casellas N, Rubino R (eds) Computable models of the law, Lecture notes in computer science (Lecture notes in artificial intelligence), vol 4884. Springer, Heidelberg, pp 21–41. https://doi.org/10.1007/978-3-540-85569-9_2
Breuker J, Valente A, Winkels R (2004) Legal ontologies in knowledge engineering and information management. Artif Intell Law 12(4):241–277. https://doi.org/10.1007/s10506-006-0002-1
Contissa G, Laukyte M (2008) Legal knowledge representation: a twofold experience in the domain of intellectual property law. In: Francesconi E, Sartor G (eds) Legal knowledge and information systems. JURIX 2008: the twenty-first annual conference. Frontiers in artificial intelligence and applications, vol 189. IOS Press, Amsterdam, pp 98–107. https://doi.org/10.3233/978-1-58603-952-3-98
Čyras V, Lachmayer F (2013) Multiphase transformation in the legal text-to-program approach. In: Sturm F, Thomas P, Otto J, Mori H (eds) Liber amicorum Guido Tsuno. Vico Verlag, Frankfurt am Main, pp 57–70. https://ssrn.com/abstract=2632045. Accessed 15 Dec 2022
Forsberg K, Mooz H, Cotterman H (2005) Visualizing project management: models and frameworks for mastering complex systems. Wiley, New York
Grabmair M, Ashley K (2005) Towards modeling systematic interpretation of codified law. In: Moens M, Spyns P (eds) Legal knowledge and information systems. JURIX 2005: the eighteenth annual conference. Frontiers in artificial intelligence and applications, vol 134. IOS Press, Amsterdam, pp 107–108
Leith P (2010) The rise and fall of the legal expert system. Eur J Law Technol 1(1) https://ejlt.org/index.php/ejlt/article/view/14. Accessed 15 Dec 2022
Paliulionienė L (2008) Teisės aktams rengti skirtų sistemų vartotojo interfeiso ypatumai [in Lithuanian] (Peculiarities of the user interface of a legal document drafting system). Proc Lithuanian Math Soc 48(49):360–364
Prakken H, Sartor G (2008) More on presumptions and burdens of proof. In: Francesconi E, Sartor G (eds) Legal knowledge and information systems. JURIX 2008: the twenty-first annual conference. Frontiers in artificial intelligence and applications, vol 189. IOS Press, Amsterdam, pp 176–185. https://doi.org/10.3233/978-1-58603-952-3-176
Reed C, Murray A (2018) Rethinking the jurisprudence of cyberspace. Edward Elgar, Cheltenham. https://doi.org/10.4337/9781785364297
Satoh K, Kubota M, Nishigai Y, Takano C (2009) Translating the Japanese presupposed ultimate fact theory into logic programming. In: Governatori G (ed) Legal knowledge and information systems. JURIX 2009: the twenty-second annual conference. Frontiers in artificial intelligence and applications, vol 205. IOS Press, Amsterdam, pp 162–171. https://doi.org/10.3233/978-1-60750-082-7-162
Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The British Nationality Act as a logic program. Commun ACM 29(5):370–386
Stefik M (1995) Introduction to knowledge systems. Morgan Kaufmann, San Francisco
Vasilecas O, Kalibatiene D, Guizzardi G (2009) Towards a formal method for transforming ontology axioms to application domain rules. Inf Technol Control 38(4):271–282
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Cyras, V., Lachmayer, F. (2023). Multiphase Transformation: From Legal Text to Program . In: Essays on the Visualisation of Legal Informatics. Law, Governance and Technology Series, vol 54. Springer, Cham. https://doi.org/10.1007/978-3-031-27957-7_27
Download citation
DOI: https://doi.org/10.1007/978-3-031-27957-7_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-27956-0
Online ISBN: 978-3-031-27957-7
eBook Packages: Law and CriminologyLaw and Criminology (R0)