Ontoprolog: uma linguagem para especificação de discursos sobre ontologias

Araujo, Lauro Cesar; Lima-Marques, Mamede

doi:10.1590/1981-5344/2532

Cited by 1 publication

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(2) the ongoing study of an operational modeling pattern of legal relations by means of the Ontoprolog system (Araujo and Lima-Marques, 2017). Ontoprolog was conceived based on UFO's ontological foundations and built on a logical framework of Logic Programming.…”

Section: Data Availability Statementmentioning

confidence: 99%

“…In conclusion, there are ongoing studies: (1) a systematic study on the theory of contracts, adhesion contracts, and negotiation, correlating studies such as Macaulay ( 2018 ) and (Unger, 1977 ) with studies on adhesion contracts such as Rakoff ( 1982 ) and Kessler ( 1943 ). This study will provide a broader and deeper legal-theoretical foundation on the topic outlined here; and (2) the ongoing study of an operational modeling pattern of legal relations by means of the Ontoprolog system (Araujo and Lima-Marques, 2017 ). Ontoprolog was conceived based on UFO's ontological foundations and built on a logical framework of Logic Programming.…”

Section: Final Considerationsmentioning

confidence: 99%

See 1 more Smart Citation

Modeling the dynamics of contractual relations

Griffo

Araujo

Brasil

et al. 2023

Front. Artif. Intell.

Self Cite

View full text Add to dashboard Cite

Contracts usually have clauses that enable contracted parties to adjust their contractual positions in time, e.g., to relieve another party from duty or to grant new permission. This is especially important in long-running service relations, which require contracts to be adjusted to accommodate new or unforeseen circumstances. Despite that, the representation of dynamic aspects of contractual relations has not been given enough attention in the literature. In this study, we address this gap by employing the notions of legal power and legal subjection. We propose an ontological analysis of unilateral contractual changes based on a well-founded legal core ontology that adopts a relational perspective for legal positions. We present a case study to show the benefits of representing different types of contractual changes and how these changes can impact contractual dynamics. The case study is based on recent changes to WhatsApp terms of service.

show abstract

Section: Data Availability Statementmentioning

confidence: 99%