AtomicAgreement¶
Open interactive AtomicAgreement diagram
Formalization for AtomicAgreement¶
| Property | Constraint |
|---|---|
| commitsToActivity | some Activity |
| disjointWith | ComplexAgreement |
| inverse hasClaim | all Agent |
| inverse hasDuty | all Agent |
| inverse hasNoClaim | all Agent |
| inverse hasPrivilege | all Agent |
| subClassOf | Agreement |
Used by classes¶
| Class | Property |
|---|---|
| Agent (SpatialLocPattern) | hasClaim |
| Agent (SpatialLocPattern) | hasDuty |
| Agent (SpatialLocPattern) | hasNoClaim |
| Agent (SpatialLocPattern) | hasPrivilege |