ContracT – from Legal Contracts to Formal Specifications: Preliminary Results
| Autor: | Nicola Zeni, Luisa Mich, John Mylopoulos, Michele Soavi |
|---|---|
| Přispěvatelé: | Dipartimento di Ingegneria Industriale [Trento], University of Trento [Trento], Department of Mechanical and Industrial Engineering [Brescia], Roma Tre University, School of Electrical Engineering and Computer Science (EECS), University of Ottawa [Ottawa], Jānis Grabis, Dominik Bork, TC 8, WG 8.1 |
| Rok vydání: | 2020 |
| Předmět: |
Semantic annotation
Future studies Process (engineering) Computer science business.industry ComputingMilieux_LEGALASPECTSOFCOMPUTING 020207 software engineering Ontology for contracts 06 humanities and the arts 02 engineering and technology Ontology (information science) 0603 philosophy ethics and religion Structure model Formal specification 0202 electrical engineering electronic engineering information engineering Legal contract [INFO]Computer Science [cs] 060301 applied ethics Structured model Software engineering business Natural language |
| Zdroj: | Lecture Notes in Business Information Processing ISBN: 9783030634780 PoEM Lecture Notes in Business Information Processing 13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020) 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⟩ |
| Popis: | Part 3:Formal Aspects of Enterprise Modelling; International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|