ContracT – from Legal Contracts to Formal Specifications: Preliminary Results - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

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.
Fichier principal
Vignette du fichier
500489_1_En_9_Chapter.pdf (246.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03434644 , version 1 (18-11-2021)

Licence

Attribution

Identifiers

Cite

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⟩
38 View
47 Download

Altmetric

Share

Gmail Facebook X LinkedIn More