Fabien Gandon
Fabien Gandon
Guido Governatori
An OWL vocabulary for describing normative requirements.
Normative Requirements Vocabulary
nrv
http://ns.inria.fr/nrv#
This file specifies the set of OWL classes and properties proposed by the MIREL project to represent normative requirements.
2017-07-26
2017-08-18
Inria
Normative Requirement
a requirement implying, creating, or prescribing a norm.
compensable requirement
a requirement that can be compensated.
non compensable requirement
a requirement that cannot be compensated.
violable requirement
a requirement that can be violated.
non violable requirement
a requirement that cannot be violated.
persistent requirement
a requirement that needs to be obeyed for the whole duration within the interval in which it is in force.
non persistent requirement
a requirement that is in force at a particular time point only or for the instance it is in force.
obligation
a situation, an act, or a course of action(s) to which a bearer is legally bound, and if it is not achieved or performed results in a violation.
permission
something is permitted if the obligation or the prohibition to the contrary does not hold.
prohibition
a situation, an act, or a course of action(s) which a bearer should avoid, and if it is achieved results in a violation.
compensation
a set of penalties or sanctions imposed on the violator ; fulfilling them makes amends for the violation.
has for compensation
links a compensable requirement to a compensation.
compensated requirement
a requirement violated in a state of affairs and compensated in that same state of affairs.
violation
the result of a violated normative requirement.
has for violation
links a violable requirement to a violation.
violated requirement
a requirement violated by a state of affairs.
compliance
the result of normative requirement being respected.
has for compliance
links a violable requirement to compliance.
compliant requirement
a requirement being compliant with a state of affairs.
achievement
an obligation for which achieving the content at least once is enough to fulfil it.
maintenance
an obligation that needs to be obeyed for the whole duration within the interval in which it is in force.
punctual
an obligation for which the contents must be immediately achieved.
co-occurant punctual requirement
TODO.
non co-occurant punctual requirement
TODO.
preemptive achievement requirement
an achievement requirement that can be fulfilled even before it is actually in force.
non preemptive achievement requirement
an achievement requirement that cannot be fulfilled even before it is actually in force.
perdurant achievement requirement
achievement requirement that persists after being violated.
non perdurant requirement
achievement requirement that does not persist after being violated.
logical formula
atomic formula
compliance
an indication that an Obligation has been fulfilled or a Prohibition has not been violated.
deontic modality
a modality pertaining to Deontic Specifications.
deontic specification
an Obligation, Permission, Prohibition, Right, ....
obligation
a Deontic Specification for a state, an act, or a course of action to which a Bearer is legally bound, and which, if it is not achieved or performed, results in a Violation.
permission
a Deontic Specification for a state, an act, or a course of action where the Bearer has no Obligation or Prohibition to the contrary. A weak Permission is the absence of the Obligation or Prohibition to the contrary; a strong Permission is an exception or derogation of the Obligation or Prohibition to the contrary.
prohibition
a Deontic Specification for a state, an act, or a course of action to which a Bearer is legally bound, and which, if it is achieved or performed, results in a Violation.
reparation
an indication that a PenaltyStatement is linked with a PrescriptiveStatement. It indicates that a sanction may apply where the PrescriptiveStatement entails a Deontic Specification and when there is a Violation of the Deontic Specification.
right
(see also Permission) a Deontic Specification that gives a Permission to a party (the Bearer) and implies there are Obligations or Prohibitions on other parties (the AuxiliaryParty) such that the Bearer can (eventually) exercise the Right.
suborder list
a Deontic Specification for a sequence of Deontic Specifications, i.e., Obligations, Prohibitions, Permissions, Rights and/or Suborder Lists. When a SuborderList holds, a Deontic Specification in the SuborderList holds if all Deontic Specifications that precede it in the SuborderList have been violated.
violation
an indication that an Obligation or Prohibition has been violated.
applies
deontic role
bearer
a role in a Deontic Specification to which the Deontic Specification is primarily directed.
applies
modality
applies modality
the deontic mode that applies to a Deontic Specification in a Context or Association.
reparation
penalty statement
applies penalty
the PenaltyStatement that is linked to a LegalRule in a Reparation.
prescriptive statement
to prescriptive statement
the PrescriptiveStatement that is linked to a PenaltyStatement in a Reparation.
deontic specification
term
deontic role
a role in a Deontic Specification