AtomicAgreement¶
An atomic agreement is a simple agreement that cannot be further decomposed into sub-agreements. It is a subclass of Agreement and specifies the “essence” of an agreement. In particular it identifies how agents participating in the agreement are involved: whether they have a claim, duty, no-claim or privilege with respect to some activity that is committed to in the agreement.
IRI: https://w3id.org/citydata/part1/v1/AtomicAgreement
Diagram¶
Formalization for AtomicAgreement¶
| Property | Constraint |
|---|---|
| commitsToActivity | min 1 |
| commitsToActivity | min 1 Activity |
| hasSubAgreement | max 0 Agreement |
| disjointWith | ComplexAgreement |
| inverse hasClaim | only Agent |
| inverse hasDuty | only Agent |
| inverse hasNoClaim | only Agent |
| inverse hasPrivilege | only Agent |
| n6c202b6f9c2044198621b8325e17fb04b11 | only Agent |
| n6c202b6f9c2044198621b8325e17fb04b13 | only Agent |
| n6c202b6f9c2044198621b8325e17fb04b15 | only Agent |
| n6c202b6f9c2044198621b8325e17fb04b18 | only Agent |
| subClassOf | Agreement |
Used by classes¶
| Class | Property |
|---|---|
| Agent (FuzzyTime) | hasClaim |
| Agent (FuzzyTime) | hasDuty |
| Agent (FuzzyTime) | hasNoClaim |
| Agent (FuzzyTime) | hasPrivilege |