{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T06:55:31Z","timestamp":1782802531713,"version":"3.54.5"},"reference-count":51,"publisher":"Frontiers Media SA","license":[{"start":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T00:00:00Z","timestamp":1682553600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["frontiersin.org"],"crossmark-restriction":true},"short-container-title":["Front. Artif. Intell."],"abstract":"<jats:p>There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. For an optimal automated reasoning, a simple one is preferred. Which language should we choose for our legal knowledge representation if our goal is to apply automated legal reasoning? In this paper, we investigate the properties and requirements of each of these two applications. We suggest that by using Legal Linguistic Templates, one can solve the above tension in some practical situations.<\/jats:p>","DOI":"10.3389\/frai.2023.1136263","type":"journal-article","created":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T05:30:46Z","timestamp":1682573446000},"update-policy":"https:\/\/doi.org\/10.3389\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Legal linguistic templates and the tension between legal knowledge representation and reasoning"],"prefix":"10.3389","volume":"6","author":[{"given":"Tomer","family":"Libal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1965","published-online":{"date-parts":[[2023,4,27]]},"reference":[{"key":"B1","article-title":"\u201cA validation process for a legal formalization method,\u201d","volume-title":"Workshop on Methodologies for Translating Legal Norms into Formal Representations","author":"Abidi","year":"2022"},{"key":"B2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","article-title":"\u201cHierarchies of regulations and their logic,\u201d","author":"Alchourr\u00f3n","year":"1981","journal-title":"New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics"},{"key":"B3","doi-asserted-by":"publisher","first-page":"e93","DOI":"10.7717\/peerj-cs.93","article-title":"Predicting judicial decisions of the European court of human rights: a natural language processing perspective","volume":"2","author":"Aletras","year":"2016","journal-title":"PeerJ Comput. Sci"},{"key":"B4","first-page":"455","article-title":"The need for clear structure in plain language legal drafting","volume":"13","author":"Allen","year":"1979","journal-title":"U. Mich. JL Reform"},{"key":"B5","first-page":"160","article-title":"\u201cAn agile approach to validate a formal representation of the GDPR,\u201d","author":"Bartolini","year":"2018","journal-title":"JSAI-isAI Workshops"},{"key":"B6","first-page":"5","article-title":"\u201cAn introduction to first-order logic,\u201d","volume-title":"Studies in Logic and the Foundations of Mathematics, Vol. 90","author":"Barwise","year":"1977"},{"key":"B7","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.scico.2018.10.008","article-title":"Universal (meta-) logical reasoning: recent successes","volume":"172","author":"Benzm\u00fcller","year":"2019","journal-title":"Sci. Comput. Prog"},{"key":"B8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1017\/S0020818300004707","article-title":"Europe before the court: a political theory of legal integration","volume":"47","author":"Burley","year":"1993","journal-title":"Int. Organ"},{"key":"B9","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","article-title":"A formulation of the simple theory of types","volume":"5","author":"Church","year":"1940","journal-title":"J. Symbol. Logic"},{"key":"B10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","article-title":"\u201cNegation as failure,\u201d","volume-title":"Logic and Data Bases","author":"Clark","year":"1978"},{"key":"B11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-642-76274-1_2","article-title":"\u201cAn introduction to prolog III,\u201d","volume-title":"Computational Logic","author":"Colmerauer","year":"1990"},{"key":"B12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1080\/00014788.1987.9729802","article-title":"Expert systems in accountancy: a review of some recent applications","volume":"17","author":"Connell","year":"1987","journal-title":"Account. Bus. Res"},{"key":"B13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-44638-3","article-title":"\u201cLogic and argumentation,\u201d","volume-title":"Third International Conference, CLAR 2020, Hangzhou, China, Proceedings","author":"Dastani","year":"2020"},{"key":"B14","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/64.491282","article-title":"Expert systems: a view of the field","volume":"11","author":"Durkin","year":"1996","journal-title":"IEEE Intell. Syst"},{"key":"B15","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1086\/229939","article-title":"Legal ambiguity and symbolic structures: organizational mediation of civil rights law","volume":"97","author":"Edelman","year":"1992","journal-title":"Am. J. Sociol"},{"key":"B16","doi-asserted-by":"crossref","DOI":"10.3233\/FAIA362","article-title":"\u201cLegal knowledge and information systems,\u201d","volume-title":"JURIX 2022: The Thirty-fifth Annual Conference, Saarbr\u00fccken, Germany, 14-16 December 2022","author":"Francesconi","year":"2022"},{"key":"B17","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s10506-021-09283-7","article-title":"Resolving counterintuitive consequences in law using legal debugging","volume":"29","author":"Fungwacharakorn","year":"2021","journal-title":"Artif. Intell. Law"},{"key":"B18","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10506-017-9215-8","article-title":"Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation","volume":"26","author":"Hashmi","year":"2018","journal-title":"Artif. Intell. Law"},{"key":"B19","article-title":"\u201cTrustworthy AI - Integrating Learning, Optimization and Reasoning,\u201d","volume-title":"First International Workshop, TAILOR 2020, Virtual Event, September 4-5, 2020, Revised Selected Papers","author":"Heimtz","year":"2020"},{"key":"B20","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-59451-5_3","article-title":"\u201cThe design of a pretty-printing library,\u201d","volume-title":"International School on Advanced Functional Programming","author":"Hughes","year":"1995"},{"key":"B21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-022-09328-5","article-title":"Catala: moving towards the future of legal expert systems","author":"Huttner","year":"2022","journal-title":"Artif. Intell. Law"},{"key":"B22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/AICT52784.2021.9620304","article-title":"\u201cMetric for evaluation of machine translation quality on the bases of edit distances and reverse translation,\u201d","author":"Kornilov","year":"2021","journal-title":"2021 IEEE 15th International Conference on Application of Information and Communication Technologies (AICT)"},{"key":"B23","article-title":"\u201cLogical English,\u201d","author":"Kowalski","year":"2020","journal-title":"Proceedings of Logic and Practice of Programming (LPOP)"},{"key":"B24","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10506-021-09295-3","article-title":"Logical English meets legal English for swaps and derivatives","volume":"30","author":"Kowalski","year":"2022","journal-title":"Artif. Intell. Law"},{"key":"B25","author":"Langley","year":"2007","journal-title":"Visirule Tutorial"},{"key":"B26","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1093\/comjnl\/29.6.545","article-title":"Fundamental errors in legal logic programming","volume":"29","author":"Leith","year":"1986","journal-title":"Comput. J"},{"key":"B27","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/3322640.33267","author":"Libal","year":"2019","journal-title":"Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, ICAIL 2019"},{"key":"B28","volume-title":"Knowledge Acquisition: Principles and Guidelines","author":"McGraw","year":"1989"},{"key":"B29","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","article-title":"When and how to develop domain-specific languages","volume":"37","author":"Mernik","year":"2005","journal-title":"ACM Comput. Surveys"},{"key":"B30","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/MC.2008.306","article-title":"Seven principles of software testing","volume":"41","author":"Meyer","year":"2008","journal-title":"Computer"},{"key":"B31","author":"Mills","year":"2016","journal-title":"Artificial Intelligence in Law: The State of Play 2016"},{"key":"B32","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1109\/CeDEM.2017.25","article-title":"\u201cLegal ontology for open government data mashups,\u201d","volume-title":"2017 Conference for E-Democracy and Open Government (CeDEM)","author":"Mockus","year":"2017"},{"key":"B33","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/3462757.3466084","article-title":"\u201cConstraint answer set programming as a tool to improve legislative drafting: a rules as code experiment,\u201d","volume-title":"Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law","author":"Morris","year":"2021"},{"key":"B34","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"Nipkow","year":"2002"},{"key":"B35","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-3-031-15565-9_12","article-title":"\u201cAn evaluation of methodologies for legal formalization,\u201d","volume-title":"International Workshop on Explainable, Transparent Autonomous Agents and Multi-Agent Systems","author":"Novotn\u00e1","year":"2022"},{"key":"B36","article-title":"\u201cDesigning an experiment for comparing user interfaces for legal formalization,\u201d","author":"Novotn\u00e1","year":"2023","journal-title":"Presented at the International Workshop on Programming Languages and the Law on the 15 January"},{"key":"B37","author":"Nute","year":"2012","journal-title":"Defeasible Deontic Logic, Vol. 263"},{"key":"B38","first-page":"101","article-title":"\u201cModelling legal knowledge for GDPR compliance checking,\u201d","volume-title":"JURIX, Vol. 313","author":"Palmirani","year":"2018"},{"key":"B39","volume-title":"Types and Programming Languages","author":"Pierce","year":"2002"},{"key":"B40","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.artint.2015.06.005","article-title":"Law and logic: a review from an argumentation perspective","volume":"227","author":"Prakken","year":"2015","journal-title":"Artif. Intell"},{"key":"B41","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10849-019-09309-z","article-title":"Formalizing GDPR provisions in reified i\/o logic: the Dapreco knowledge base","volume":"29","author":"Robaldo","year":"2020","journal-title":"J. Logic Lang. Inform"},{"key":"B42","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0020-7373(07)80008-3","article-title":"Hierarchical formalizations","volume":"35","author":"Routen","year":"1991","journal-title":"Int. J. Man Mach. Stud"},{"key":"B43","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/3462757.3466096","article-title":"\u201cInteractive system for arranging issues based on proleg in civil litigation,\u201d","volume-title":"Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law","author":"Satoh","year":"2021"},{"key":"B44","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1163\/9789401210119_013","article-title":"On the open texture of law","volume":"87","author":"Schauer","year":"2013","journal-title":"Grazer Philos. Stud"},{"key":"B45","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","article-title":"The British nationality act as a logic program","volume":"29","author":"Sergot","year":"1986","journal-title":"Commun. ACM"},{"key":"B46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s42979-022-01228-4","article-title":"From legal contracts to formal specifications: a systematic literature review","volume":"3","author":"Soavi","year":"2022","journal-title":"SN Comput. Sci"},{"key":"B47","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-319-94205-6_8","article-title":"\u201cThe higher-order prover leo-III,\u201d","volume-title":"International Joint Conference on Automated Reasoning","author":"Steen","year":"2018"},{"key":"B48","article-title":"Exploring the use of text classification in the legal domain","author":"Sulea","year":"2017","journal-title":"arXiv preprint arXiv:1710.09306"},{"key":"B49","volume-title":"A Guide to Expert Systems","author":"Waterman","year":"1985"},{"key":"B50","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1177\/107769900808500303","article-title":"Finding news stories: a comparison of searches using Lexisnexis and Google news","volume":"85","author":"Weaver","year":"2008","journal-title":"J. Mass Commun. Q"},{"key":"B51","first-page":"220","article-title":"\u201cChecking the validity of rule-based arguments grounded in cases: a computational approach,\u201d","volume-title":"JURIX","author":"Zheng","year":"2018"}],"container-title":["Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1136263\/full","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T05:31:07Z","timestamp":1682573467000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1136263\/full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,27]]},"references-count":51,"alternative-id":["10.3389\/frai.2023.1136263"],"URL":"https:\/\/doi.org\/10.3389\/frai.2023.1136263","relation":{},"ISSN":["2624-8212"],"issn-type":[{"value":"2624-8212","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,27]]},"article-number":"1136263"}}