Normative Requirements Vocabulary

IRI:
http://ns.inria.fr/nrv#
Authors:
Fabien Gandon
http://ns.inria.fr/fabien.gandon/foaf.html#me
Contributors:
Fabien Gandon
Guido Governatori
Publisher:
Inria
Other visualisation:
Turtle/N3, RDF/XML, Onto-Doc

Abstract

An OWL vocabulary for describing normative requirements.

Table of Content

  1. Classes
  2. Object Properties
  3. Named Individuals
  4. Namespace Declarations

Classes

achievementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#Achievement

an obligation for which achieving the content at least once is enough to fulfil it.

has super-classes
obligationc
has sub-classes
non perdurant requirementc, non preemptive achievement requirementc, perdurant achievement requirementc, preemptive achievement requirementc

atomic formulac back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/rule-metamodel#AtomicFormula

has sub-classes
reparationc

co-occurant punctual requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#CoOccurantPunctual

TODO.

has super-classes
punctualc
is disjoint with
non co-occurant punctual requirementc

compensable requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#CompensableRequirement

a requirement that can be compensated.

has super-classes
Normative Requirementc
has sub-classes
compensated requirementc, obligationc, prohibitionc
is in domain of
has for compensationop
is disjoint with
non compensable requirementc

compensated requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#CompensatedRequirement

a requirement violated in a state of affairs and compensated in that same state of affairs.

has super-classes
compensable requirementc

compensationc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#Compensation

a set of penalties or sanctions imposed on the violator ; fulfilling them makes amends for the violation.

has super-classes
obligationc
is in range of
has for compensationop

compliancec back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#Compliance

an indication that an Obligation has been fulfilled or a Prohibition has not been violated.

has super-classes
deontic specificationc
is in range of
has for complianceop
is disjoint with
violationc

compliant requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#CompliantRequirement

a requirement being compliant with a state of affairs.

has super-classes
violable requirementc

deontic modalityc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#DeonticModality

a modality pertaining to Deontic Specifications.

has super-classes
modalityc

deontic specificationc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#DeonticSpecification

an Obligation, Permission, Prohibition, Right, ....

has super-classes
logical formulac
has sub-classes
Normative Requirementc, compliancec, obligationc, permissionc, prohibitionc, rightc, suborder listc, violationc
is in domain of
deontic roleop

logical formulac back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/rule-metamodel#LogicalFormula

has sub-classes
deontic specificationc

maintenancec back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#Maintenance

an obligation that needs to be obeyed for the whole duration within the interval in which it is in force.

has super-classes
obligationc

modalityc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#Modality

has sub-classes
deontic modalityc
is in range of
applies modalityop

non co-occurant punctual requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#NonCoOccurantPunctual

TODO.

has super-classes
punctualc
is disjoint with
co-occurant punctual requirementc

non compensable requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#NonCompensableRequirement

a requirement that cannot be compensated.

has super-classes
Normative Requirementc
has sub-classes
permissionc
is disjoint with
compensable requirementc

non perdurant requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#NonPerdurantAchievement

achievement requirement that does not persist after being violated.

has super-classes
achievementc
is disjoint with
perdurant achievement requirementc

non persistent requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#NonPersistentRequirement

a requirement that is in force at a particular time point only or for the instance it is in force.

has super-classes
Normative Requirementc
has sub-classes
punctualc
is disjoint with
persistent requirementc

non preemptive achievement requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#NonPreemptiveAchievement

an achievement requirement that cannot be fulfilled even before it is actually in force.

has super-classes
achievementc

non violable requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#NonViolableRequirement

a requirement that cannot be violated.

has super-classes
Normative Requirementc
has sub-classes
permissionc
is disjoint with
violable requirementc

Normative Requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#NormativeRequirement

a requirement implying, creating, or prescribing a norm.

has super-classes
deontic specificationc
has sub-classes
compensable requirementc, non compensable requirementc, non persistent requirementc, non violable requirementc, persistent requirementc, violable requirementc

obligationc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#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.

is equivalent to
achievementc or maintenancec
has super-classes
deontic specificationc
compensable requirementc
violable requirementc
has sub-classes
achievementc, compensationc, maintenancec

penalty statementc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#PenaltyStatement

is in range of
applies penaltyop

perdurant achievement requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#PerdurantAchievement

achievement requirement that persists after being violated.

has super-classes
achievementc
is disjoint with
non perdurant requirementc

permissionc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#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.

has super-classes
deontic specificationc
non compensable requirementc
non violable requirementc

persistent requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#PersistentRequirement

a requirement that needs to be obeyed for the whole duration within the interval in which it is in force.

has super-classes
Normative Requirementc
is disjoint with
non persistent requirementc

preemptive achievement requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#PreemptiveAchievement

an achievement requirement that can be fulfilled even before it is actually in force.

has super-classes
achievementc

prescriptive statementc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#PrescriptiveStatement

is in range of
to prescriptive statementop

prohibitionc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#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.

has super-classes
deontic specificationc
compensable requirementc
violable requirementc

punctualc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#Punctual

an obligation for which the contents must be immediately achieved.

is equivalent to
achievementc and maintenancec
has super-classes
non persistent requirementc
has sub-classes
co-occurant punctual requirementc, non co-occurant punctual requirementc

reparationc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#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.

has super-classes
atomic formulac
is in domain of
applies penaltyop, to prescriptive statementop

rightc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#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.

has super-classes
deontic specificationc

suborder listc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#SuborderList

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.

has super-classes
deontic specificationc

termc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/rule-metamodel#Term

is in range of
deontic roleop

violable requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#ViolableRequirement

a requirement that can be violated.

has super-classes
Normative Requirementc
has sub-classes
compliant requirementc, obligationc, prohibitionc, violated requirementc
is in domain of
has for complianceop, has for violationop
is disjoint with
non violable requirementc

violated requirementc back to ToC or Class ToC

IRI: http://ns.inria.fr/nrv#ViolatedRequirement

a requirement violated by a state of affairs.

has super-classes
violable requirementc

violationc back to ToC or Class ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#Violation

an indication that an Obligation or Prohibition has been violated.

has super-classes
deontic specificationc
is in range of
has for violationop
is disjoint with
compliancec

Object Properties

appliesop back to ToC or Object Property ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#applies

has sub-properties
applies modalityop

applies modalityop back to ToC or Object Property ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#appliesModality

the deontic mode that applies to a Deontic Specification in a Context or Association.

has super-properties
appliesop
has range
modalityc

applies penaltyop back to ToC or Object Property ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#appliesPenalty

the PenaltyStatement that is linked to a LegalRule in a Reparation.

has domain
reparationc
has range
penalty statementc

bearerop back to ToC or Object Property ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#Bearer

a role in a Deontic Specification to which the Deontic Specification is primarily directed.

has super-properties
deontic roleop

deontic roleop back to ToC or Object Property ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#DeonticRole

a role in a Deontic Specification

has sub-properties
bearerop
has domain
deontic specificationc
has range
termc

has for compensationop back to ToC or Object Property ToC

IRI: http://ns.inria.fr/nrv#hasCompensation

links a compensable requirement to a compensation.

has domain
compensable requirementc
has range
compensationc

has for complianceop back to ToC or Object Property ToC

IRI: http://ns.inria.fr/nrv#hasCompliance

links a violable requirement to compliance.

has domain
violable requirementc
has range
compliancec

has for violationop back to ToC or Object Property ToC

IRI: http://ns.inria.fr/nrv#hasViolation

links a violable requirement to a violation.

has domain
violable requirementc
has range
violationc

to prescriptive statementop back to ToC or Object Property ToC

IRI: http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#toPrescriptiveStatement

the PrescriptiveStatement that is linked to a PenaltyStatement in a Reparation.

has domain
reparationc
has range
prescriptive statementc

Named Individuals

:ni back to ToC or Named Individual ToC

IRI: http://ns.inria.fr/nrv#

This file specifies the set of OWL classes and properties proposed by the MIREL project to represent normative requirements.

belongs to
vocabularyc

Namespace Declarations back to ToC

default namespace
http://ns.inria.fr/nrv#
assettype
http://purl.org/adms/assettype/
foaf
http://xmlns.com/foaf/0.1/
foaf-html
http://ns.inria.fr/fabien.gandon/foaf.html#
metamodel
http://docs.oasis-open.org/legalruleml/ns/v1.0/metamodel#
ns-inria-fr
http://ns.inria.fr/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
rule-metamodel
http://docs.oasis-open.org/legalruleml/ns/v1.0/rule-metamodel#
status
http://purl.org/adms/status/
terms
http://purl.org/dc/terms/
vann
http://purl.org/vocab/vann/
voaf
http://purl.org/vocommons/voaf#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.