A Framework for Automatic Monitoring of Norms that regulate Time Constrained Actions
Nicoletta Fornara, Soheil Roshankish, Marco Colombetti

TL;DR
This paper introduces T-NORM, a formal framework using OWL 2 for modeling and automatically monitoring norms related to time-constrained actions, enabling reasoning about norm violations and fulfillments.
Contribution
The paper presents T-NORM, a novel formal model for expressing and reasoning about temporal norms, integrating OWL 2 and rule-based semantics for automatic norm violation detection.
Findings
OWL reasoning can determine norm violations or fulfillments.
T-NORM effectively formalizes obligations, prohibitions, permissions, and exemptions.
The framework supports automated monitoring of time-constrained actions.
Abstract
This paper addresses the problem of proposing a model of norms and a framework for automatically computing their violation or fulfilment. The proposed T-NORM model can be used to express abstract norms able to regulate classes of actions that should or should not be performed in a temporal interval. We show how the model can be used to formalize obligations and prohibitions and for inhibiting them by introducing permissions and exemptions. The basic building blocks for norm specification consists of rules with suitably nested components. The activation condition, the regulated actions, and the temporal constrains of norms are specified using the W3C Web Ontology Language (OWL 2). Thanks to this choice, it is possible to use OWL reasoning for computing the effects that the logical implication between actions has on norms fulfilment or violation. The operational semantics of the T-NORM…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Business Process Modeling and Analysis · Service-Oriented Architecture and Web Services
