ContracT – from Legal Contracts to Formal Specifications: Preliminary Results - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

ContracT – from Legal Contracts to Formal Specifications: Preliminary Results

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
39 Consultations
54 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More