Difference between revisions of "ISO5087-1:AtomicAgreement"
| Line 23: | Line 23: | ||
|Property=disjointWith | |Property=disjointWith | ||
|Value=ComplexAgreement | |Value=ComplexAgreement | ||
| + | }}{{Manchester Row | ||
| + | |Property=inverse hasDuty | ||
| + | |Restriction=only | ||
| + | |Value=Agent | ||
| + | }}{{Manchester Row | ||
| + | |Property=inverse hasPrivilege | ||
| + | |Restriction=only | ||
| + | |Value=Agent | ||
| + | }}{{Manchester Row | ||
| + | |Property=inverse hasClaim | ||
| + | |Restriction=only | ||
| + | |Value=Agent | ||
| + | }}{{Manchester Row | ||
| + | |Property=inverse hasNoClaim | ||
| + | |Restriction=only | ||
| + | |Value=Agent | ||
}} | }} | ||
}} | }} | ||
Revision as of 15:22, 10 August 2021
Pattern
This class has been associated with the following pattern:
Subclass Of
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?
- AtomicAgreement (redirect page) (← links)
- 5087-1:AtomicAgreement (redirect page) (← links)
- Iso5087-1:AtomicAgreement (redirect page) (← links)
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 | Agreement |
| ForActivity | some | Activity |
| disjointWith | ComplexAgreement | |
| inverse hasDuty | only | Agent |
| inverse hasPrivilege | only | Agent |
| inverse hasClaim | only | Agent |
| inverse hasNoClaim | only | Agent |
Supplementary Figures
| Figure | Caption |
|---|---|
| Figure 1: Example use of the Agreement Ontology. |
