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.
ContracT – from Legal Contracts to Formal Specifications: Preliminary Results / Soavi, M.; Zeni, N.; Mylopoulos, J.; Mich, L.. - STAMPA. - 400(2020), pp. 124-137. ((Intervento presentato al convegno 13th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2020 tenutosi a lva nel 2020.
Titolo: | ContracT – from Legal Contracts to Formal Specifications: Preliminary Results | |
Autori: | Soavi, M.; Zeni, N.; Mylopoulos, J.; Mich, L. | |
Autori Unitn: | ||
Titolo del volume contenente il saggio: | Lecture Notes in Business Information Processing | |
Luogo di edizione: | Riga, Latvia | |
Casa editrice: | Springer Science and Business Media Deutschland GmbH | |
Anno di pubblicazione: | 2020 | |
Codice identificativo Scopus: | 2-s2.0-85097073162 | |
ISBN: | 978-3-030-63478-0 978-3-030-63479-7 | |
Handle: | http://hdl.handle.net/11572/286436 | |
Citazione: | ContracT – from Legal Contracts to Formal Specifications: Preliminary Results / Soavi, M.; Zeni, N.; Mylopoulos, J.; Mich, L.. - STAMPA. - 400(2020), pp. 124-137. ((Intervento presentato al convegno 13th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2020 tenutosi a lva nel 2020. | |
Appare nelle tipologie: | 04.1 Saggio in atti di convegno (Paper in proceedings) |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
paper_13.pdf | Versione editoriale (Publisher’s layout) | Tutti i diritti riservati (All rights reserved) | Administrator |