Skip to Main content Skip to Navigation
New interface
Conference papers

ContracT – from Legal Contracts to Formal Specifications: Preliminary Results

Abstract : We are interested in semi-automating the process of generating a formal specification from a legal contract in natural language text form. Towards this end, we present a tool, named ContracT, that annotates legal contract text using an ontology for legal contracts. In the last part of the paper, we present results from a preliminary empirical evaluation of the tool that provided encouraging results in identifying contract concepts in text and discuss critical points to be tackled in future studies.
Document type :
Conference papers
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2021 - 1:38:16 PM
Last modification on : Friday, November 19, 2021 - 2:19:45 PM
Long-term archiving on: : Saturday, February 19, 2022 - 7:02:28 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich. ContracT – from Legal Contracts to Formal Specifications: Preliminary Results. 13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.124-137, ⟨10.1007/978-3-030-63479-7_9⟩. ⟨hal-03434644⟩



Record views