An OWL based system for monitoring business contract execution

The context of this research is the monitoring of business contract execution, which has been a trend in different science fields during the last years, and it has also an important practical application in business contract management. In this thesis we approach the problem from the knowledge engineering point of view, hence we propose a description logic model for representing legal and business contracts. Such model has been written in ontology web language (OWL) and it is based on the different requirements identified along the thesis’ work, for instance, time and obligation management. Additionally we proposed an architecture and a proof-of-concept over this model such that it can be used in real application-domain contexts where several business processes participate and several computing systems interact.

La tesi espone i risultati di una ricerca nell’ambito del monitoraggio automatico dell'esecuzione di contratti commerciali. Si tratta di un tema che negli ultimi anni è stato oggetto di numerose analisi tecnico-scientifiche e che può avere importanti ricadute applicative sulla gestione dei contratti aziendali. Nella tesi abbiamo affrontato il problema dal punto di vista della ingegneria della conoscenza, proponendo un modello logico-descrittivo per la rappresentazione di contratti commerciali con valore legale. Il modello è realizzato nel Web Ontology Language (OWL) e si basa sui diversi requisiti identificati nel corso della tesi, come ad esempio la rappresentazione logica del tempo e delle obbligazioni. Proponiamo in oltre un’architettura software per l’implementazione del modello e un prototipo dimostrativo concernente un contesto applicativo realistico, cui partecipano diversi processi di business che interagiscono tramite un sistema distribuito.