{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:32:43Z","timestamp":1773246763048,"version":"3.50.1"},"reference-count":99,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T00:00:00Z","timestamp":1655769600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T00:00:00Z","timestamp":1655769600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004004","name":"Universit\u00e0 degli Studi di Trento","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100004004","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The opportunity to automate and monitor the execution of legal contracts is gaining increasing interest in Business and Academia, thanks to the advent of smart contracts, blockchain technologies, and the Internet of Things. A critical issue in developing smart contract systems is the formalization of legal contracts, which are traditionally expressed in natural language with all the pitfalls that this entails. This paper presents a systematic literature review of papers for the main steps related to the transformation of a legal contract expressed in natural language into a formal specification. Key research studies have been identified, classified, and analyzed according to a four-step transformation process: (a) structural and semantic annotation to identify legal concepts in text, (b) identification of relationships among concepts, (c) contract domain modeling, and (d) generation of a formal specification. Each one of these steps poses serious research challenges that have been the subject of research for decades. The systematic review offers an overview of the most relevant research efforts undertaken to address each step and identifies promising approaches, best practices, and existing gaps in the literature.<\/jats:p>","DOI":"10.1007\/s42979-022-01228-4","type":"journal-article","created":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T14:09:01Z","timestamp":1655820541000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["From Legal Contracts to Formal Specifications: A Systematic Literature Review"],"prefix":"10.1007","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8519-1034","authenticated-orcid":false,"given":"Michele","family":"Soavi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1296-0140","authenticated-orcid":false,"given":"Nicola","family":"Zeni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8698-3292","authenticated-orcid":false,"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0018-6883","authenticated-orcid":false,"given":"Luisa","family":"Mich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,6,21]]},"reference":[{"key":"1228_CR1","doi-asserted-by":"publisher","first-page":"2292","DOI":"10.1109\/ACCESS.2016.2566339","volume":"4","author":"K Christidis","year":"2016","unstructured":"Christidis K, Devetsikiotis M. Blockchains and smart contracts for the Internet of Things. IEEE Access. 2016;4:2292\u2013303.","journal-title":"IEEE Access"},{"key":"1228_CR2","doi-asserted-by":"crossref","unstructured":"Soavi M, Zeni N, Mylopoulos J, Mich L. ContracT\u2013from legal contracts to formal specifications: preliminary results. In: IFIP working conference on the practice of enterprise modeling; 2020. pp.\u00a0124\u2013137.","DOI":"10.1007\/978-3-030-63479-7_9"},{"key":"1228_CR3","doi-asserted-by":"crossref","unstructured":"Guarino N, Oberle D, Staab S. What is an ontology. In: Handbook on ontologies; 2009. pp. 1\u201317.","DOI":"10.1007\/978-3-540-92673-3_0"},{"issue":"1","key":"1228_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00766-013-0181-8","volume":"20","author":"N Zeni","year":"2015","unstructured":"Zeni N, Kiyavitskaya N, Mich L, Cordy JR, Mylopoulos J. GaiusT: supporting the extraction of rights and obligations for regulatory compliance. Requir Eng. 2015;20(1):1\u201322.","journal-title":"Requir Eng"},{"key":"1228_CR5","doi-asserted-by":"crossref","unstructured":"Sharifi S, Parvizimosaed A, Amyot D, Logrippo L, Mylopoulos J. Symboleo: towards a specification language for legal contracts. In: 2020 IEEE 28th international requirements engineering conference (RE); 2020.","DOI":"10.1109\/RE48521.2020.00049"},{"key":"1228_CR6","unstructured":"Griffo C, Almeida JP, Guizzardi G. Towards a legal core ontology based on Alexy\u2019s theory of fundamental rights. In: Multilingual workshop on artificial intelligence and law, ICAIL; 2015."},{"issue":"4","key":"1228_CR7","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G Governatori","year":"2006","unstructured":"Governatori G, Milosevic Z. A formal analysis of a business contract language. Int J Coop Inf Syst. 2006;15(4):659\u201385.","journal-title":"Int J Coop Inf Syst"},{"key":"1228_CR8","unstructured":"I. S. C. Committee. IEEE Standards Glossary of Software Engineering Terminology (IEEE Std 610.12 1990). Los Alamitos: IEEE; 1990."},{"key":"1228_CR9","doi-asserted-by":"crossref","unstructured":"Kiyavitskaya N, Zeni N, Breaux TD, Ant\u00f3n AI, Cordy JR, Mich L, Mylopoulos J. Extracting rights and obligations from regulations: toward a tool-supported process. In: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering; 2007.","DOI":"10.1145\/1321631.1321701"},{"issue":"8","key":"1228_CR10","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1109\/TSE.2002.1027796","volume":"28","author":"B Kitchenham","year":"2002","unstructured":"Kitchenham B, Pfleeger S, Pickard L, Jones P, Hoaglin D, Emam KE, Rosenberg J. Preliminary guidelines for empirical research in software engineering. IEEE Trans Softw Eng. 2002;28(8):721\u201334.","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"1228_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/IJISMD.2015040101","volume":"6","author":"J Horkoff","year":"2015","unstructured":"Horkoff J, Li T, Li F-L, Salnitri M, Cardoso E, Giorgini P, Mylopoulos J. Using goal models downstream: a systematic roadmap and literature review. Int J Inf Syst Model Des. 2015;6(2):1\u201342.","journal-title":"Int J Inf Syst Model Des"},{"issue":"2","key":"1228_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s00766-017-0280-z","volume":"24","author":"J Horkoff","year":"2019","unstructured":"Horkoff J, Aydemir FB, Cardoso E, Li T, Mat\u00e9 A, Paja E, Salnitri M, Piras L, Mylopoulos J, Giorgini P. Goal-oriented requirements engineering: an extended systematic mapping study. Requir Eng. 2019;24(2):133\u201360.","journal-title":"Requir Eng"},{"key":"1228_CR13","doi-asserted-by":"crossref","unstructured":"Agnoloni T, Tiscornia D. Semantic web standards and ontologies for legislative drafting support. In: ePart'10 Proceedings of the 2nd IFIP WG 8.5 international conference on Electronic participation; 2010.","DOI":"10.1007\/978-3-642-15158-3_16"},{"key":"1228_CR14","doi-asserted-by":"crossref","unstructured":"Ajani G, Lesmo L, Boella G, Mazzei A, Rossi P. Terminological and ontological analysis of European directives: multilinguism in law. In: Proceedings of the 11th international conference on Artificial intelligence and law; 2007.","DOI":"10.1145\/1276318.1276327"},{"key":"1228_CR15","doi-asserted-by":"crossref","unstructured":"Alsaadi M, Lisitsa A, Qasaimeh M. Minimizing the ambiguities in medical devices regulations based on software requirement engineering techniques. In: Proceedings of the second international conference on data science, e-learning and information systems; 2019. pp. 1\u20135.","DOI":"10.1145\/3368691.3368709"},{"key":"1228_CR16","doi-asserted-by":"crossref","unstructured":"Amardeilh F, Laublet P, Minel J-L. Document annotation and ontology population from linguistic extractions. In: Proceedings of the 3rd international conference on knowledge capture; 2005.","DOI":"10.1145\/1088622.1088651"},{"key":"1228_CR17","doi-asserted-by":"crossref","unstructured":"Amato F, Mazzeo A, Penta A, Picariello A. Building RDF ontologies from semi-structured legal documents. In: 2008 international conference on complex, intelligent and software intensive systems; 2008.","DOI":"10.1109\/CISIS.2008.146"},{"key":"1228_CR18","doi-asserted-by":"crossref","unstructured":"Araujo DAD, Rigo SJ, M\u00fcller C, Chishman RLDO. Automatic information extraction from texts with inference and linguistic knowledge acquisition rules. In: Web Intelligence\/IAT Workshops; 2013.","DOI":"10.1109\/WI-IAT.2013.171"},{"key":"1228_CR19","doi-asserted-by":"crossref","unstructured":"Ashley KD. Ontological requirements for analogical, teleological, and hypothetical legal reasoning. In: Proceedings of the 12th international conference on artificial intelligence and law; 2009.","DOI":"10.1145\/1568234.1568236"},{"key":"1228_CR20","doi-asserted-by":"crossref","unstructured":"Ashley KD, Walker VR. Toward constructing evidence-based legal arguments using legal decision documents and machine learning. In: Proceedings of the fourteenth international conference on artificial intelligence and law; 2013.","DOI":"10.1145\/2514601.2514622"},{"key":"1228_CR21","unstructured":"Azzopardi S, Pace GJ, Schapachnik F. On observing contracts: deontic contracts meet smart contracts. In: Legal knowledge and information systems; 2018. pp. 21\u201330."},{"key":"1228_CR22","doi-asserted-by":"crossref","unstructured":"Barabucci G, Cervone L, Palmirani M, Peroni S, Vitali F. Multi-layer markup and ontological structures in Akoma Ntoso. In: AICOL-I\/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue; 2009.","DOI":"10.1007\/978-3-642-16524-5_9"},{"key":"1228_CR23","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM, Visser PRS. Ontologies in legal information systems; the need for explicit specifications of domain conceptualisations. In: Proceedings of the 6th international conference on Artificial intelligence and law; 1997.","DOI":"10.1145\/261618.261646"},{"key":"1228_CR24","unstructured":"Bench-Capon TJ, Visser PR. Open texture and ontologies in legal information systems. In: Database and expert systems applications. 8th international conference, DEXA'97; 1997."},{"key":"1228_CR25","doi-asserted-by":"crossref","unstructured":"Biagioli C, Francesconi E, Passerini A, Montemagni S, Soria C. Automatic semantics extraction in law documents. In: Proceedings of the 10th international conference on Artificial intelligence and law; 2005.","DOI":"10.1145\/1165485.1165506"},{"key":"1228_CR26","doi-asserted-by":"crossref","unstructured":"Boella G, Governatori G, Rotolo A, Torre LVD. Lex minus dixit quam voluit, lex magis dixit quam voluit: a formal study on legal compliance and interpretation. In: AICOL-I\/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue; 2009.","DOI":"10.1007\/978-3-642-16524-5_11"},{"key":"1228_CR27","doi-asserted-by":"crossref","unstructured":"Boella G, Humphreys L, Muthuri R, Rossi P, Torre LWN. A critical analysis of legal requirements engineering from the perspective of legal practice. In: Requirements engineering and law (RELAW), 2014 IEEE 7th international workshop on; 2014.","DOI":"10.1109\/RELAW.2014.6893476"},{"key":"1228_CR28","doi-asserted-by":"crossref","unstructured":"Boer A, Winkels R, Vitali F. Metalex XML and the legal knowledge interchange format. In: Computable models of the law. Berlin: Springer; 2008. pp. 21\u201341.","DOI":"10.1007\/978-3-540-85569-9_2"},{"key":"1228_CR29","doi-asserted-by":"crossref","unstructured":"Branting K, Weiss B, Brown B, Pfeifer C, Chakraborty A, Ferro L, Pfaff M, Yeh A. Semi-supervised methods for explainable legal prediction. In: Proceedings of the seventeenth international conference on artificial intelligence and law; 2019.","DOI":"10.1145\/3322640.3326723"},{"key":"1228_CR30","doi-asserted-by":"crossref","unstructured":"Breaux TD, Gordon DG. Regulatory requirements traceability and analysis using semi-formal specifications. In International working conference on requirements engineering: Foundation for software quality. In: International working conference on requirements engineering: foundation for software quality; 2013. pp. 131\u2013157.","DOI":"10.1007\/978-3-642-37422-7_11"},{"key":"1228_CR31","doi-asserted-by":"crossref","unstructured":"Breuker J, Valente A, Winkels R. Use and reuse of legal ontologies in knowledge engineering and information management. Law and the Semantic Web, Springer. 2005. pp. 36\u201364.","DOI":"10.1007\/978-3-540-32253-5_4"},{"key":"1228_CR32","unstructured":"Bueno TCD, Wangenheim CG, Mattos EDS, Hoeschl HC, Barcia RM. JurisConsulto: retrieval in jurisprudencial text bases using juridical terminology. In: Proceedings of the 7th international conference on Artificial intelligence and law; 1999."},{"key":"1228_CR33","doi-asserted-by":"crossref","unstructured":"Capuano N, Maio CD, Salerno S, Toti D. A methodology based on commonsense knowledge and ontologies for the automatic classification of legal cases. In: Proceedings of the 4th international conference on web intelligence, mining and semantics (WIMS14); 2014.","DOI":"10.1145\/2611040.2611048"},{"key":"1228_CR34","doi-asserted-by":"crossref","unstructured":"Ceci M, Palmirani M. Ontology framework for judgment modelling. In: AICOL'11 Proceedings of the 25th IVR congress conference on AI approaches to the complexity of legal systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents; 2011.","DOI":"10.1007\/978-3-642-35731-2"},{"key":"1228_CR35","doi-asserted-by":"crossref","unstructured":"Chalkidis I, Androutsopoulos I. A deep learning approach to contract element extraction. In: JURIX; 2017. pp. 155\u2013164.","DOI":"10.1145\/3086512.3086515"},{"key":"1228_CR36","doi-asserted-by":"crossref","unstructured":"Chieze E, Farzindar A, Lapalme G. An automatic system for summarization and information extraction of legal information. Semantic processing of legal texts, Springer. 2010. pp. 216\u2013234.","DOI":"10.1007\/978-3-642-12837-0_12"},{"key":"1228_CR37","doi-asserted-by":"crossref","unstructured":"Corcho O, Fern\u00e1ndez-L\u00f3pez M, G\u00f3mez-P\u00e9rez A, L\u00f3pez-Cima A. Building legal ontologies with METHONTOLOGY and WebODE. Law and the Semantic Web, Springer. 2005. pp. 142\u2013157.","DOI":"10.1007\/978-3-540-32253-5_9"},{"key":"1228_CR38","doi-asserted-by":"crossref","unstructured":"Despres S, Szulman S. TERMINAE method and integration process for legal ontology building. In: IEA\/AIE'06 Proceedings of the 19th international conference on advances in applied artificial intelligence: industrial, engineering and other applications of applied intelligent systems; 2006.","DOI":"10.1007\/11779568_108"},{"key":"1228_CR39","doi-asserted-by":"crossref","unstructured":"Dwivedi V, Norta A, Wulf A, Leiding B, Saxena S, Udokwu C. A formal specification smart-contract language for legally binding decentralized autonomous organizations. In: IEEE access; 2021.","DOI":"10.1109\/ACCESS.2021.3081926"},{"key":"1228_CR40","doi-asserted-by":"crossref","unstructured":"Fischbach J, Frattini J, Spaans A, Kummeth M, Vogelsang A, Mendez D, Unterkalmsteiner M. Automatic detection of causality in requirement artifacts: the CiRA Approach. In: REFSQ; 2021.","DOI":"10.1007\/978-3-030-73128-1_2"},{"key":"1228_CR41","doi-asserted-by":"crossref","unstructured":"Fornara N, Colombetti M. Ontology and time evolution of obligations and prohibitions using semantic web technology. In: DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies; 2009.","DOI":"10.1007\/978-3-642-11355-0_7"},{"key":"1228_CR42","doi-asserted-by":"crossref","unstructured":"Francesconi E, Montemagni S, Peters W, Tiscornia D. Integrating a bottom\u2013up and top\u2013down methodology for building semantic resources for the multilingual legal domain. Semantic processing of legal texts, Springer. 2010. pp. 95\u2013121.","DOI":"10.1007\/978-3-642-12837-0_6"},{"key":"1228_CR43","doi-asserted-by":"crossref","unstructured":"Gangemi A, Sagri M-T, Tiscornia D. A constructive framework for legal ontologies. Law and the Semantic Web, Springer. 2005. pp. 97\u2013124.","DOI":"10.1007\/978-3-540-32253-5_7"},{"issue":"3","key":"1228_CR44","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1109\/TSC.2011.1","volume":"5","author":"X Gao","year":"2011","unstructured":"Gao X, Singh MP, Mehra P. Mining business contracts for service exceptions. IEEE Trans Serv Comput. 2011;5(3):333\u201344.","journal-title":"IEEE Trans Serv Comput"},{"key":"1228_CR45","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Constantino M, Atkinson K, Bollegala D, Chapman K, Coenen F, Roberts C, Robson K. CLIEL: context-based information extraction from commercial law documents. In: Proceedings of the 16th edition of the international conference on articial intelligence and law; 2017.","DOI":"10.1145\/3086512.3086520"},{"key":"1228_CR46","doi-asserted-by":"crossref","unstructured":"Governatori G, Hashmi M, Lam H-P, Villata S, Palmirani M. Semantic business process regulatory compliance checking using LegalRuleML. In: EKAW 2016 20th international conference on knowledge engineering and knowledge management, vol.\u00a010024, 2016.","DOI":"10.1007\/978-3-319-49004-5_48"},{"key":"1228_CR47","doi-asserted-by":"crossref","unstructured":"Grabmair M, Ashley KD, Chen R, Sureshkumar P, Wang C, Nyberg E, Walker VR. Introducing LUIMA: an experiment in legal conceptual retrieval of vaccine injury decisions using a UIMA type system and tools. In: Proceedings of the 15th international conference on artificial intelligence and law; 2015.","DOI":"10.1145\/2746090.2746096"},{"key":"1228_CR48","doi-asserted-by":"crossref","unstructured":"Griffo C, Almeida JP, Guizzardi G, Nardi JC. From an ontology of service contracts to contract modeling in enterprise architecture. In: IEEE 21st international enterprise distributed object computing conference (EDOC); 2017.","DOI":"10.1109\/EDOC.2017.15"},{"key":"1228_CR49","doi-asserted-by":"crossref","unstructured":"Grosof BN, Poon TC. SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions. In: Proceedings of the 12th international conference on World Wide Web; 2003.","DOI":"10.2139\/ssrn.442040"},{"key":"1228_CR50","doi-asserted-by":"crossref","unstructured":"Grover C, Hachey B, Hughson I, Korycinski C. Automatic summarisation of legal documents. In: Proceedings of the 9th international conference on Artificial intelligence and law; 2003.","DOI":"10.1145\/1047788.1047839"},{"key":"1228_CR51","doi-asserted-by":"crossref","unstructured":"Hasan MM, Aganostopoulos D, Loucopoulos P, Nikolaidou M. Regulatory requirements compliance in e-government system development: an ontology framework. In: 10th international conference on theory and practice of electronic governance. 2017. pp. 441\u2013449.","DOI":"10.1145\/3047273.3047341"},{"key":"1228_CR52","doi-asserted-by":"crossref","unstructured":"Hashmi M. A methodology for extracting legal norms from regulatory documents. In: Science & engineering faculty; 2015.","DOI":"10.1109\/EDOCW.2015.29"},{"key":"1228_CR53","doi-asserted-by":"crossref","unstructured":"He X, Qin B, Zhu Y, Chen X, Liu Y. SPESC: A Specification Language for Smart Contracts. In: 2018 IEEE 42nd annual computer software and applications conference (COMPSAC); 2018.","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"1228_CR54","unstructured":"Kabilan V, Johannesson P. Semantic representation of contract knowledge using multi tier ontology. In: SWDB, 2003. pp. 395\u2013414."},{"key":"1228_CR55","doi-asserted-by":"crossref","unstructured":"Kayed A. Building e-laws ontology: new approach. In: OTM'05 proceedings of the 2005 OTM confederated international conference on on the move to meaningful internet systems; 2005.","DOI":"10.1007\/11575863_104"},{"key":"1228_CR56","doi-asserted-by":"crossref","unstructured":"Kiyavitskaya N, Zeni N, Breaux TD, Ant\u00f3n AI, Cordy JR, Mich L, Mylopoulos J. Automating the extraction of rights and obligations for regulatory compliance. In: ER '08 proceedings of the 27th international conference on conceptual modeling; 2008.","DOI":"10.1007\/978-3-540-87877-3_13"},{"key":"1228_CR57","doi-asserted-by":"crossref","unstructured":"Konstantinou V, Sykes J, Yannopoulos GN. Can legal knowledge be derived from legal texts? In: Proceedings of the 4th international conference on Artificial intelligence and law. 1993. pp. 218\u2013227.","DOI":"10.1145\/158976.159004"},{"key":"1228_CR58","unstructured":"Lagioia F, Micklitz HW, Panagis Y, Sartor G, Torroni P. Automated detection of unfair clauses in online consumer contracts. In: Legal knowledge and information systems: JURIX 2017: the thirtieth annual conference, vol. 302; 2017."},{"key":"1228_CR59","unstructured":"Lagioia F, Ruggeri F, Drazewski K, Lippi M, Micklitz HW, Torroni P, Sartor G. Deep learning for detecting and explaining unfairness in consumer contracts. In: Legal knowledge and information systems, IOS Press; 2019. pp. 43\u201352."},{"key":"1228_CR60","doi-asserted-by":"crossref","unstructured":"Lame G. Using NLP techniques to identify legal ontology components: concepts and relations. Law and the Semantic Web, Springer. 2005.","DOI":"10.1007\/978-3-540-32253-5_11"},{"key":"1228_CR61","doi-asserted-by":"crossref","unstructured":"Lame G, Despr\u00e8s S. Updating ontologies in the legal domain. In: Proceedings of the 10th international conference on Artificial intelligence and law. 2005.","DOI":"10.1145\/1165485.1165509"},{"key":"1228_CR62","doi-asserted-by":"crossref","unstructured":"Lau GT, Law KH, Wiederhold G. Similarity analysis on government regulations. In: Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining; 2003.","DOI":"10.1145\/956750.956845"},{"key":"1228_CR63","doi-asserted-by":"crossref","unstructured":"Lau GT, Law KH, Wiederhold G. Legal information retrieval and application to e-rulemaking. In: Proceedings of the 10th international conference on Artificial intelligence and law. 2005.","DOI":"10.1145\/1165485.1165508"},{"key":"1228_CR64","doi-asserted-by":"crossref","unstructured":"Lee S-W, Gandhi R, Muthurajan D, Yavagal D, Ahn G-J. Building problem domain ontology from security requirements in regulatory documents. In: Proceedings of the 2006 international workshop on Software engineering for secure systems. 2006.","DOI":"10.1145\/1137627.1137635"},{"key":"1228_CR65","doi-asserted-by":"crossref","unstructured":"Lesmo L, Mazzei A, Radicioni DP. Extracting semantic annotations from legal texts. In: Proceedings of the 20th ACM conference on hypertext and hypermedia. 2009.","DOI":"10.1145\/1557914.1557944"},{"key":"1228_CR66","doi-asserted-by":"crossref","unstructured":"Levy F, Guisse A, Nazarenko A, Omrane N, Szulman S. An environment for the joint management of written policies and business rules. In: 2010 22nd IEEE international conference on tools with artificial intelligence; 2010.","DOI":"10.1109\/ICTAI.2010.95"},{"key":"1228_CR67","doi-asserted-by":"crossref","unstructured":"Libal T, Pascucci M. Automated reasoning in normative detachment structures with ideal conditions. In: Proceedings of the seventeenth international conference on artificial intelligence and law. 2019.","DOI":"10.1145\/3322640.3326707"},{"key":"1228_CR68","doi-asserted-by":"crossref","unstructured":"Liu G, Buntine W, Yang X, Fu W. Research on domain-oriented latent policy lineage mining method. In: 2015 eighth international conference on internet computing for science and engineering (ICICSE). 2015.","DOI":"10.1109\/ICICSE.2015.27"},{"key":"1228_CR69","doi-asserted-by":"crossref","unstructured":"Maxwell JC, Anton AI. Developing production rule models to aid in acquiring requirements from legal texts. In: 2009 17th IEEE international requirements engineering conference. 2009.","DOI":"10.1109\/RE.2009.21"},{"key":"1228_CR70","doi-asserted-by":"crossref","unstructured":"Mazzei A, Radicioni DP, Brighi R. NLP-based extraction of modificatory provisions semantics. In: Proceedings of the 12th international conference on artificial intelligence and law. 2009.","DOI":"10.1145\/1568234.1568241"},{"key":"1228_CR71","doi-asserted-by":"crossref","unstructured":"Moens M-F, Boiy E, Palau RM, Reed C. Automatic detection of arguments in legal texts. In: Proceedings of the 11th international conference on Artificial intelligence and law, 2007.","DOI":"10.1145\/1276318.1276362"},{"key":"1228_CR72","doi-asserted-by":"crossref","unstructured":"Montazeri SM, Roy NKS, Schneider G. From contracts in structured English to CL specifications, vol. 68. 2011, pp. 55\u201369. arXiv preprint arXiv:1109.2657.","DOI":"10.4204\/EPTCS.68.6"},{"key":"1228_CR73","doi-asserted-by":"crossref","unstructured":"Moulin B, Rousseau D. Knowledge acquisition from prescriptive texts. In: Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems. 1990.","DOI":"10.1145\/98894.99136"},{"key":"1228_CR74","doi-asserted-by":"crossref","unstructured":"Nadah N, Rosnay MD, Bachimont B. Licensing digital content with a generic ontology: escaping from the jungle of rights expression languages. In: Proceedings of the 11th international conference on Artificial intelligence and law. 2007.","DOI":"10.1145\/1276318.1276330"},{"key":"1228_CR75","doi-asserted-by":"crossref","unstructured":"Neill JO, Buitelaar P, Robin C, Brien LO. Classifying sentential modality in legal language: a use case in financial regulations, acts and directives. In: Proceedings of the 16th edition of the international conference on articial intelligence and law. 2017.","DOI":"10.1145\/3086512.3086528"},{"key":"1228_CR76","doi-asserted-by":"crossref","unstructured":"Osborn J, Sterling L. JUSTICE: a judicial search tool using intelligent concept extraction. In: 7th international conference on Artificial intelligence and law. 1999. pp. 173\u2013181.","DOI":"10.1145\/323706.323792"},{"key":"1228_CR77","doi-asserted-by":"crossref","unstructured":"Otto P, Anton A. Addressing legal requirements in requirements engineering. In: 15th IEEE international requirements engineering conference (RE 2007). 2007.","DOI":"10.1109\/RE.2007.65"},{"key":"1228_CR78","doi-asserted-by":"crossref","unstructured":"Palmirani M, Brighi R. Model regularity of legal language in active modifications. In AICOL-I\/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue. 2009.","DOI":"10.1007\/978-3-642-16524-5_5"},{"key":"1228_CR79","doi-asserted-by":"crossref","unstructured":"Palmirani M, Governatori G, Rotolo A, Tabet S, Boley H, Paschke A. LegalRuleML: XML-based rules and norms. In: International workshop on rules and rule markup languages for the semantic web. Berlin: Springer; 2011.","DOI":"10.1007\/978-3-642-24908-2_30"},{"key":"1228_CR80","doi-asserted-by":"crossref","unstructured":"Parvizimosaed A, Sharifi S, Amyot D, Logrippo L, Mylopoulos J. Subcontracting, assignment, and substitution for legal contracts in Symboleo. In: ER; 2020. pp. 271\u2013285.","DOI":"10.1007\/978-3-030-62522-1_20"},{"key":"1228_CR81","doi-asserted-by":"crossref","unstructured":"Quaresma P, Gon\u00e7alves T. Using linguistic information and machine learning techniques to identify entities from juridical documents. Semantic processing of legal texts, Springer. 2010. pp. 44\u201359.","DOI":"10.1007\/978-3-642-12837-0_3"},{"key":"1228_CR82","doi-asserted-by":"crossref","unstructured":"Rabinia A, Ghanavati S, Humphreys L, Hahmann T. A methodology for implementing the formal legal-GRL framework: a research preview. In: International working conference on requirements engineering: foundation for software quality. 2020.","DOI":"10.1007\/978-3-030-44429-7_9"},{"key":"1228_CR83","doi-asserted-by":"crossref","unstructured":"Rao PRK, Devi SL. Automatic identification of conceptual structures using deep boltzmann machines. In: Proceedings of the 7th forum for information retrieval evaluation on; 2015.","DOI":"10.1145\/2838706.2838711"},{"key":"1228_CR84","unstructured":"Rodrigues CMO, Azevedo RR, Freitas FLG, Silva EP, Barros PVS. An ontological approach for simulating legal action in the Brazilian penal code. In: Proceedings of the 30th annual ACM symposium on applied computing. 2015."},{"key":"1228_CR85","doi-asserted-by":"crossref","unstructured":"Roegiest A, Hudek AK, McNulty A. A dataset and an examination of identifying passages for due diligence. In: The 41st international ACM SIGIR conference on research & development in information retrieval. 2018.","DOI":"10.1145\/3209978.3210015"},{"key":"1228_CR86","doi-asserted-by":"crossref","unstructured":"Saias J, Quaresma P. A methodology to create legal ontologies in a logic programming information retrieval system. Law and the Semantic Web, Springer. Law and the Semantic Web, Springer. 2005. pp. 185\u2013200.","DOI":"10.1007\/978-3-540-32253-5_12"},{"key":"1228_CR87","doi-asserted-by":"crossref","unstructured":"Sainani A, Anish PR, Joshi V, Ghaisas S. Extracting and classifying requirements from software engineering contracts. In: 2020 IEEE 28th international requirements engineering conference (RE). 2020.","DOI":"10.1109\/RE48521.2020.00026"},{"issue":"2","key":"1228_CR88","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s00766-015-0241-3","volume":"22","author":"N Sannier","year":"2017","unstructured":"Sannier N, Adedjouma M, Sabetzadeh M, Briand L. An automated framework for detection and resolution of cross references in legal texts. Requir Eng. 2017;22(2):215\u201337.","journal-title":"Requir Eng"},{"key":"1228_CR89","doi-asserted-by":"crossref","unstructured":"Sleimi A, Ceci M, Sannier N, Sabetzadeh M, Briand L, Dann J. A query system for extracting requirements-related information from legal texts. In: 2019 IEEE 27th international requirements engineering conference (RE). 2019.","DOI":"10.1109\/RE.2019.00041"},{"key":"1228_CR90","doi-asserted-by":"crossref","unstructured":"Sleimi A, Ceci M, Sabetzadeh M, Briand LC, Dann J. Automated recommendation of templates for legal requirements. In: 2020 IEEE 28th international requirements engineering conference (RE). 2020.","DOI":"10.1109\/RE48521.2020.00027"},{"key":"1228_CR91","doi-asserted-by":"crossref","unstructured":"Schwitter R, Tilbrook M. Dynamic semantics at work. In: New frontiers in artificial intelligence. Berlin: Springer; 2003. pp. 416\u2013424.","DOI":"10.1007\/978-3-540-71009-7_39"},{"key":"1228_CR92","doi-asserted-by":"crossref","unstructured":"Valente A. Types and roles of legal ontologies. Law and the Semantic Web, Springer. 2005. pp. 65\u201376.","DOI":"10.1007\/978-3-540-32253-5_5"},{"key":"1228_CR93","doi-asserted-by":"crossref","unstructured":"Villata S. Digital enforceable contracts (DEC): Making smart contracts smarter. In: Legal knowledge and information systems: JURIX 2020: the thirty-third annual conference, Brno, Czech Republic; 2020.","DOI":"10.3233\/FAIA334"},{"key":"1228_CR94","doi-asserted-by":"crossref","unstructured":"V\u00f6lker J, Langa SF, Sure Y. Supporting the construction of Spanish legal ontologies with Text2Onto. 2008. pp. 105\u2013112.","DOI":"10.1007\/978-3-540-85569-9_7"},{"key":"1228_CR95","doi-asserted-by":"crossref","unstructured":"Walker VR, Han JH, Ni X, Yoseda K. Semantic types for computational legal reasoning: propositional connectives and sentence roles in the veterans' claims dataset. In: Proceedings of the 16th edition of the international conference on articial intelligence and law. 2017.","DOI":"10.1145\/3086512.3086535"},{"key":"1228_CR96","doi-asserted-by":"crossref","unstructured":"Weber-Jahnke JH, Onabajo A. Finding defects in natural language confidentiality requirements. In: 2009 17th IEEE international requirements engineering conference. 2009.","DOI":"10.1109\/RE.2009.41"},{"key":"1228_CR97","doi-asserted-by":"crossref","unstructured":"Wyner A, Mochales-Palau R, Moens M-F, Milward D. Approaches to text mining arguments from legal cases. Semantic processing of legal texts, Springer. 2010. pp. 60\u201379.","DOI":"10.1007\/978-3-642-12837-0_4"},{"key":"1228_CR98","doi-asserted-by":"crossref","unstructured":"Yan Y, Zhang J, Yan M. Ontology modeling for contract: using OWL to express semantic relations. In: 2006 10th IEEE international enterprise distributed object computing conference (EDOC'06). 2006.","DOI":"10.1109\/EDOC.2006.37"},{"key":"1228_CR99","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.datak.2018.04.009","volume":"117","author":"N Zeni","year":"2018","unstructured":"Zeni N, Seid EA, Engiel P, Mylopoulos J, N\u00f3mos T. N\u00f3mosT: building large models of law with a tool-supported process. Data Knowl Eng. 2018;117:407\u201318.","journal-title":"Data Knowl Eng"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-022-01228-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-022-01228-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-022-01228-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T19:11:16Z","timestamp":1663614676000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-022-01228-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,21]]},"references-count":99,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2022,9]]}},"alternative-id":["1228"],"URL":"https:\/\/doi.org\/10.1007\/s42979-022-01228-4","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,21]]},"assertion":[{"value":"2 September 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 June 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"345"}}