%0 Conference Proceedings
%T ContracT – from Legal Contracts to Formal Specifications: Preliminary Results
%+ Dipartimento di Ingegneria Industriale [Trento]
%+ Department of Mechanical and Industrial Engineering [Brescia]
%+ School of Electrical Engineering and Computer Science (EECS)
%A Soavi, Michele
%A Zeni, Nicola
%A Mylopoulos, John
%A Mich, Luisa
%Z Part 3:Formal Aspects of Enterprise Modelling
%< avec comité de lecture
%( Lecture Notes in Business Information Processing
%B 13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020)
%C Riga, Latvia
%Y Jānis Grabis
%Y Dominik Bork
%I Springer International Publishing
%3 The Practice of Enterprise Modeling
%V LNBIP-400
%P 124-137
%8 2020-11-25
%D 2020
%R 10.1007/978-3-030-63479-7_9
%K Legal contract
%K Structure model
%K Ontology for contracts
%K Semantic annotation
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 8
%Z WG 8.1
%2 https://inria.hal.science/hal-03434644/document
%2 https://inria.hal.science/hal-03434644/file/500489_1_En_9_Chapter.pdf
%L hal-03434644
%U https://inria.hal.science/hal-03434644
%~ IFIP
%~ IFIP-TC
%~ IFIP-LNBIP
%~ IFIP-WG
%~ IFIP-TC8
%~ IFIP-WG8-1
%~ IFIP-WG1-8
%~ IFIP-LNBIP-400