ISO5087-1:AtomicAgreement

From City Data Model Project Collaboratory
Revision as of 15:10, 11 November 2022 by Megankatsumi (talk | contribs) (Text replacement - "Subclass Of=Agreement" to "Subclass Of=5087-1:Agreement")
Jump to navigation Jump to search


Pattern

This class has been associated with the following pattern:

Pattern:Agreement Pattern

Subclass Of

5087-1:Agreement

Description

An English description of the definition (what distinguishes this sense of the term?).

AtomicAgreement is a subclass of Agreement and specifies the “essence” of an agreement. In particular it identifies how agents participating in the agreement are involved:

  • forActivity: identifies the activity that the atomic agreement is for.
  • inverse hasClaim: links the agreement to any agent that has a claim.
  • inverse hasNoClaim: links the agreement to any agent that does not have a claim.
  • inverse hasDuty: links the agreement to any agent that has a duty to perform the activity.
  • inverse hasPrivilege: links the agreement to any agent that has the privilege to perform the activity.

Class Diagram Description

Figure 1 illustrates the use of the Agreement Ontology to represent agreements at different levels of detail. The example shown captures a complex, disjunctive agreement that can be decomposed into two simple agreements. One option (“agr0012”) describes “alice”’s right to have lawn maintenance be performed by “bob”, (also read “bob”’s duty to perform lawn maintenance for “alice”).

Required by Use Case(s)

(why is this specialized definition needed?)


CDM References

What other classes or properties reference this term?

Interface Specification References

This class has been associated with the following interface specification items:


Sources

Sources considered when developing the class:


Status

Pending Approval

Has Subclass(es)



Annotations

Annotation Value


Manchester Syntax Specification

Property Restriction Value
HasSubAgreement exactly 0 5087-1:Agreement
ForActivity some 5087-1:Activity
disjointWith ComplexAgreement
inverse hasDuty only 5087-1:Agent
inverse hasPrivilege only 5087-1:Agent
inverse hasClaim only 5087-1:Agent
inverse hasNoClaim only 5087-1:Agent


Supplementary Figures

Figure Caption
Agree1.png
Figure 1: Example use of the Agreement Ontology.