Policy Category

PROPERTY TYPE - Policy Category

Description

Abstract Concept
A Policy Category is a classification of policies. In regulations, it represents sections of the law.

Functional Domain: Functional Asset and Operating Constraints

The Functional Asset and Operating Constraints domain defines Directives and Behavioral Rules that constrain enterprise structures (Agent Types structure) and Behavior Types.

External references

OMG - BMM - Directive Category

Super Types

Asset Property Type (from partition: Structural Partition of Asset Property Type)

Policy Asset

Dictionary

SysFEAT System Operating Framework

RELATIONSHIPS

Simple Graph Graph & Inheritance Table

Simple Graph

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Graph & Hierarchy

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Relationship Table

Relationship	Cardinality	Target Entity	Source Entity	Description
Parent Policy Category	[*..0]	Policy Category	Policy Category
Classified by Third Order Class	[1..1]	Third Order Class	Property Type
Classified by Third Order Class	[1..1]	Third Order Class	Abstract Entity MetaClass
Meta Holonymy	[*..0]	Second Order Class	Second Order Class	Abstract Relationship
Relation	[*..0]	Entity	Entity	Abstract Relationship A Relation is the reification of a Linkage of the Predication Substrate, as an Element that represents a directed connection between a source Entity and a target Entity.Relations are nested within their source Entity. (principle of locality).
Reference Relation	[*..0]	Entity	Entity	Abstract Relationship A Reference Relation is a Relation that points at a target Entity which is not in the Lexical Scope of its source Entity.
Existential Dependency	[1..1]	Entity	Entity	Abstract Relationship An Existential Dependency relationship is a Relation where the source Entitys existence depends on the existence of the target Entity.The cardinality of the set of targetted Entity is [1..1].
Existential Independence	[*..0]	Entity	Entity	Abstract Relationship An Existential Independence relation is a Relation that specifies that the existence of the source Entity doesnt depend on the existence of its target Entity.The cardinality of set of targetted Entity is [0..*].
instance of Entity	[*..0]	Class of Entity	Entity	Abstract Relationship instance of Entity is a Typology relationship that relates an Entity to a Class of Entity, as instance of this Class of Entity.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 952ea6c467285821.agda

File: 952ea6c467285821.rdf

SEMANTIC TAXONOMY

Sub-Types Super-Types

SUB-TYPES

Click node rectangle to collapse/expand one level. Click triangle for full recursive collapse/expand. Double-click on a node to open its URL. Hover for description.