Un'ontologia OWL per monitorare il ciclo di vita di obblighi e divieti

The specification, management and monitoring of obligations and prohibitions with validity intervals and conditions of activation and termination are crucial aspects in the development of distributed systems in which it is necessary to represent the interactions between agents and the consequences of their actions. In this thesis we propose a suitable model for such purposes using OWL and SWRL rules. The model describes the formal properties of the deontic relations, the events to which they relate and the states assumed during their life cycle. Later we will describe how are managed events that change the status of obligations and prohibitions exploiting the potential of the reasoner, through the definition of a simple Java application, with a realistic example.

La definizione, la gestione e il monitoraggio di obblighi e divieti con intervalli di validità e condizioni di attivazione e terminazione sono attività importanti nello sviluppo di sistemi distribuiti, in cui è necessario rappresentare le interazioni tra agenti e le conseguenze delle loro azioni. In questa tesi realizzeremo un modello adatto a tali scopi tramite il linguaggio OWL e regole SWRL. Il modello descrive le proprietà formali delle relazioni deontiche, degli eventi ai quali si riferiscono e degli stati assunti durante il loro ciclo di vita. Successivamente descriveremo come, attraverso la definizione di una semplice applicazione Java, sono gestiti gli eventi che modificano lo stato di obblighi e divieti sfruttando le potenzialità del reasoner e mostreremo un esempio di utilizzo di questo modello.