The T-Norm model of Norms
The T-Norm model Norms can be used to specify norms for regulating classes of actions that should or should not be performed in a temporal interval. The model
is described in the following paper:
- Nicoletta Fornara, Soheil Roshankish, Marco Colombetti. A Framework for Automatic Monitoring of Norms that regulate Time Constrained Actions. International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems (COINE), co-located with AAMAS 2021, London, UK, 3rd May, 2021.
T-Norm Ontology in OWL
The T-Norm Ontology is used to specify the norms formalized using the T-Norm model. The T-Norm Ontology is depicted in Figure 1 together with the Time Ontology and the Event Ontology.
The OWL/XML serialization of the T-Norm Ontology is available at tnorm.owl.
Event Ontology in OWL
The Event Ontology can be used to represent events and actions happening in the interaction among agents.
The OWL/XML serialization of the Event Ontology is available at event.owl.
The Event Ontology imports the W3C Candidate Recommendation Time Ontology in OWL
for connecting events to instants or intervals of time. The URL of the Turtle serialization of the Time Ontology is
https://raw.githubusercontent.com/w3c/sdw/gh-pages/time/rdf/time.ttl
To be used in the formalization of concrete examples, the Event Ontology needs to be extended with a domain-specific Action Ontology that defines a hierachy
of classes and a set of properties. The most general Action class of a domain-specific Action Ontology have to be defined as a subclass of the event:Action
class of the Event Ontology.
For example the Event Ontology may import the Schema.org ontology for reusing its domain dependent hierarchy
of action classes. When the Schema.org ontology is imported in the Event Ontology the schema:Action class has to be defined as subclass of the
event:Action class.
Useful classes defined in Schema.org are for example the PlayAction class
and TradeAction class.