Agreements ontology

IRI:
http://promsns.org/def/agr
Current version:
v1.1
Authors:
Nicholas Car
http://promsns.org/id/person/nicholascar
Imported Ontologies:
http://creativecommons.org/schema.rdf (visualise it with LODE)
http://www.w3.org/2004/02/skos/core (visualise it with LODE)
http://www.w3.org/ns/org.ttl (visualise it with LODE)
http://www.w3.org/ns/prov-o# (visualise it with LODE)
http://xmlns.com/foaf/0.1/ (visualise it with LODE)
Other visualisation:
Ontology source

Abstract

This Agreements Ontology is designed to model 'agreements' which are social contracts that include licenses, laws, contracts, Memoranda of Understanding, standards and definitional metadata. Its purpose is to support data sharing by making explicit the relationships between agreements and data and agreements and Agents (people and organisations). Eventually it will also help with the interplay between different classes of agreements.

Table of Content

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

Classes

Agreementc back to ToC or Class ToC

IRI: http://promsns.org/def/agr#Agreement

A description of a set of required actions by particular agents. All the required actions are detailed in Requirements class objects that this is a Collection of so the Agreement is just a container
has super-classes
collection
plan
requiresop min 1
is in domain of
has scopeop, has within scopeop, requiresop
is in range of
requirement ofop, scope ofop, within scopeop

Requirementc back to ToC or Class ToC

IRI: http://promsns.org/def/agr#Requirement

This class is analagous to the Creative Commons ontology formerly available. According to CC, a Requirement is "an action that may or may not be requested of you". In this ontology, it is only "an action that may be requested of you"
has super-classes
concept
plan
requirement levelop exactly 1
is in domain of
requirement levelop, requirement ofop, satisfied byop
is in range of
requiresop, satisfiesop

Requirement Levelc back to ToC or Class ToC

IRI: http://promsns.org/def/agr#RequirementLevel

An RequirementLevel is the level at which an Agreement complels the Agents it affects to action. The initial instances of Imperative are taken from RFC2119.
has super-classes
concept
is in range of
requirement levelop
has members
MAYni, MUSTni, MUST NOTni, OPTIONALni, RECOMMENDEDni, REQUIREDni, SHALLni, SHALL NOTni, SHOULDni, SHOULD NOTni

Requirement Resolutionc back to ToC or Class ToC

IRI: http://promsns.org/def/agr#RequirementResolution

An action that resolves requirements
has super-classes
concept
activity
satisfiesop exactly 1
is in domain of
satisfiesop
is in range of
satisfied byop

Object Properties

has scopeop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#hasScope

This property is the union (group) of all Agents indicated as being within the scope of an Agreement by the hasWithinScope property.
has super-properties
influenced
has domain
Agreementc
has range
agent
is inverse of
scope ofop

has within scopeop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#hasWithinScope

This property indicates an Agent affected by an Agreement. It is likely that the Agent will be a group (foaf:Group) or an Organization (org:Organisation) rather than an individual person and certainly not a machine Agent. Individual Agents indicated as being affected by an Agreement via this property collectively make a group, formal or informal, that can be indicated as being the entire scope group of an Agreement via hasScopeOf property of it.
has super-properties
influenced
has domain
Agreementc
has range
agent
is inverse of
within scopeop

requirement levelop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#requirementLevel

a Requirement has a requirementLevel of a RequirementLevel
has domain
Requirementc
has range
Requirement Levelc

requirement ofop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#requirementOf

A Requirement is a requirementOf an Agreement

has characteristics: inverse functional

has super-properties
Is Part Of
has domain
Requirementc
has range
Agreementc
is inverse of
requiresop

requiresop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#requires

An Agreement requires a Requirement
has super-properties
Has Part
has domain
Agreementc
has range
Requirementc
is inverse of
requirement ofop

satisfied byop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#satisfiedBy

inverse of satisfies

has characteristics: inverse functional

has super-properties
influenced
has domain
Requirementc
has range
Requirement Resolutionc
is inverse of
satisfiesop

satisfiesop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#satisfies

a Requirement Resolution satisfies a Requirement
has super-properties
was influenced by
has domain
Requirement Resolutionc
has range
Requirementc
is inverse of
satisfied byop

scope ofop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#scopeOf

inverse of hasScopeOf
has super-properties
was influenced by
has domain
agent
has range
Agreementc
is inverse of
has scopeop

within scopeop back to ToC or Object Property ToC

IRI: http://promsns.org/def/agr#withinScopeOf

inverse of hasWithinScope
has super-properties
was influenced by
has domain
agent
has range
Agreementc
is inverse of
has within scopeop

Named Individuals

Agreements ontologyni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr

has facts
Date Createddp "2016-09-12"^^date
Date Modifieddp "2016-10-09"^^date

MAYni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#MAY

belongs to
Requirement Levelc

MUSTni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#MUST

belongs to
Requirement Levelc

MUST NOTni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#MUST_NOT

belongs to
Requirement Levelc

OPTIONALni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#OPTIONAL

belongs to
Requirement Levelc

REQUIREDni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#REQUIRED

belongs to
Requirement Levelc

SHALLni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#SHALL

belongs to
Requirement Levelc

SHALL NOTni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#SHALL_NOT

belongs to
Requirement Levelc

SHOULDni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#SHOULD

belongs to
Requirement Levelc

SHOULD NOTni back to ToC or Named Individual ToC

IRI: http://promsns.org/def/agr#SHOULD_NOT

belongs to
Requirement Levelc

Namespace Declarations back to ToC

default namespace
http://promsns.org/def/agr#
creativecommons-org
http://creativecommons.org/
dc
http://purl.org/dc/elements/1.1/
owl
http://www.w3.org/2002/07/owl#
prov
http://www.w3.org/ns/prov#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
skos
http://www.w3.org/2004/02/skos/core#
terms
http://purl.org/dc/terms/
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.