Specification and analysis of legal contracts with Symboleo

Parvizimosaed, Alireza; Sharifi, Sepehr; Amyot, Daniel; Logrippo, Luigi; Roveri, Marco; Rasti, Aidin; Roudak, Ali; Mylopoulos, John

doi:10.1007/s10270-022-01053-6

Cited by 9 publications

(2 citation statements)

References 65 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An ontology consists of a collection of concepts and relationships for conceptualizing a domain, in our case contracts. The ontology we adopt has been proposed in [9] for the Symboleo contract specification language and is shown in Figure 1. The ontology is based on the Core Legal Ontology UFO-L [10] and was developed in consultation with legal experts incorporating Hohfeld's theory of legal positions [11] but without some of its shortcomings to address contract specific elements.…”

Section: An Ontology For Contractsmentioning

confidence: 99%

Semantic Annotation of Legal Contracts with ContrattoA

et al. 2022

View full text Add to dashboard Cite

The aim of the research is to semi-automate the process of generating formal specifications from legal contracts in natural language text form. Towards this end, the paper presents a tool, named ContrattoA, that semi-automatically conducts semantic annotation of legal contract text using an ontology for legal contracts. ContrattoA was developed through two iterations where lexical patterns were defined for legal concepts and their effectiveness was evaluated with experiments. The first iteration was based on a handful of sample contracts and resulted in defining lexical patterns for recognizing concepts in the ontology; these were evaluated with an empirical study where one group of subjects was asked to annotate legal text manually, while a second group edited the annotations generated by ContrattoA. The second iteration focused on the lexical patterns for the core contract concepts of obligation and power where results of the first iteration were mixed. On the basis of an extended set of sample contracts, new lexical patterns were derived and those were shown to substantially improve the performance of ContrattoA, nearing in quality the performance of experts. The experiments suggest that good quality annotations can be generated for a broad range of contracts with minor refinements to the lexical patterns.

show abstract

Section: An Ontology For Contractsmentioning

confidence: 99%

Semantic Annotation of Legal Contracts with ContrattoA

et al. 2022

View full text Add to dashboard Cite

show abstract

“…In the early 2000s, the European-Canadian Tropos project network [26] investigated formal methods and supporting tools for how to map an i* model to operational MAS specifications, ranging from classical system dynamics simulations to contract nets, as discussed in Section 2.1, to declarative workflow languages such as ConGolog [45]. Specific research addressed the management of trust and distrust among agents [45] and, later, also multi-criteria decision support for choosing among competing ways to satisfy tasks while preserving legal regulations such as security, privacy, financial, or sustainability goals [58,59].…”

mentioning

confidence: 99%

Cooperating and Competing Digital Twins for Industrie 4.0 in Urban Planning Contexts

Herzog,

Jarke,

2023

Sci

View full text Add to dashboard Cite

Digital twins are emerging as a prime analysis, prediction, and control concepts for enabling the Industrie 4.0 vision of cyber-physical production systems (CPPSs). Today’s growing complexity and volatility cannot be handled by monolithic digital twins but require a fundamentally decentralized paradigm of cooperating digital twins. Moreover, societal trends such as worldwide urbanization and growing emphasis on sustainability highlight competing goals that must be reflected not just in cooperating but also competing digital twins, often even interacting in “coopetition”. This paper argues for multi-agent systems (MASs) to address this challenge, using the example of embedding industrial digital twins into an urban planning context. We provide a technical discussion of suitable MAS frameworks and interaction protocols; data architecture options for efficient data supply from heterogeneous sensor streams and sovereignty in data sharing; and strategic analysis for scoping a digital twin systems design among domain experts and decision makers. To illustrate the way still in front of research and practice, the paper reviews some success stories of MASs in Industrie/Logistics 4.0 settings and sketches a comprehensive vision for digital twin-based holistic urban planning.

show abstract